Popular repositories

1. mergesat mergesat Public

   Forked from niklasso/minisat

   configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

   C++ 39 3

2. riss riss Public

   Riss SAT Solver

   C++ 8 6

3. PCasso PCasso Public

   Parallel SAT solver based on search space splitting

   C++ 3 3

4. cnfmiter cnfmiter Public

   tool to produce CNFs that certify equivalence of 2 input CNFs

   C++ 3

5. SpecSAT SpecSAT Public

   Allow to benchmark hardware wrt sequential and parallel SAT solvers

   Python 3 1

6. minisat minisat Public

   Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions

   C++ 1 2