wata-orz / fvs
feedback vertex set solver
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for fvs
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Experimental minisat SAT solver reimplementation in Rust☆71Updated 5 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- ☆14Updated 4 months ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated last year
- Succinct Data Structure Library☆105Updated 11 years ago
- 🔶 Compressed bitvector/container supporting efficient random access and rank queries☆43Updated 2 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- ☆19Updated 7 years ago
- Space efficient (graph) algorithms☆17Updated 4 years ago
- Lace - implementation of work-stealing in C☆34Updated 7 months ago
- MiniSat reimplemented in Rust☆17Updated 6 years ago
- Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".☆55Updated last year
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆21Updated 2 years ago
- A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …☆21Updated 2 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- FOundation of stXXl and thriLL☆14Updated 9 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆24Updated 2 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Formally verified implementation of Alive in Lean☆35Updated last year
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 3 years ago
- An implementation of optimized parallel radix sort☆47Updated 5 years ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆16Updated last year
- Build-to-Order BLAS☆11Updated 5 years ago
- Advance algorithm implementations☆13Updated 3 years ago
- lean-related presentations☆16Updated 9 months ago
- An encyclopedia of proofs☆57Updated last week
- LibPoly is a C library for manipulating polynomials☆46Updated last month