wata-orz / fvsLinks
feedback vertex set solver
☆11Updated 6 years ago
Alternatives and similar repositories for fvs
Users that are interested in fvs are comparing it to the libraries listed below
Sorting:
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 4 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- ☆28Updated 2 months ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Experimental minisat SAT solver reimplementation in Rust☆71Updated 5 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated last year
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- FreeTikZ☆37Updated 7 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- ☆53Updated last week
- 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 …☆26Updated 3 years ago
- 🔶 Compressed bitvector/container supporting efficient random access and rank queries☆43Updated 9 months ago
- Succinct C++☆24Updated 4 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 2 months ago
- A word-aligned integer compression algorithm.☆12Updated 10 months ago
- High-performance probabilistic exact counter☆41Updated this week
- A research platform and active library for generalised SAT solving☆33Updated this week
- Compact Data Structures Library☆100Updated 2 years ago
- Proposed compile-time views and maps for Boost☆10Updated 6 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- The Boole Interactive Reasoning Assistant☆28Updated 11 years ago
- Dimacs CNF utilities☆20Updated 14 years ago
- Implementation of multi-core (binary) decision diagrams☆73Updated last year