MassimoLauria / cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
☆64Updated 9 months ago
Alternatives and similar repositories for cnfgen:
Users that are interested in cnfgen are comparing it to the libraries listed below
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- SAT Solver SATCH☆114Updated 2 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆44Updated 5 years ago
- The first scalable probabilistic exact counter☆28Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Lingeling SAT Solver☆99Updated last year
- The DRAT-trim proof checker☆55Updated 3 months ago
- The #SAT solver sharpSAT☆56Updated 2 years ago
- Approximate Model Counter☆73Updated this week
- CaDiCaL SAT Solver☆418Updated this week
- PyTorch implementation of NeuroSAT☆28Updated last year
- ☆34Updated 8 months ago
- Cube-and-Conquer SAT solver☆32Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆19Updated 4 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- The glucose SAT solver☆95Updated 4 months ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆18Updated 2 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆274Updated 6 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated last year
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- Manthan for Boolean function synthesis☆32Updated last year
- Entry to model counting competition 2021.☆20Updated 8 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆160Updated 9 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆120Updated this week
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆51Updated last year
- ☆511Updated last month