Popular repositories Loading

1. minisat minisat Public

   A minimalistic and high-performance SAT solver

   C++ 1.2k 424

2. minisatp minisatp Public

   The Pseudo-Boolean Solver MiniSat+

   C++ 29 13

3. minisat-examples minisat-examples Public

   Collection of examples for the MiniSat API

   C++ 16 3

4. tip tip Public

   A model checker based on SAT solving and induction

   C++ 15 6

5. minisat-haskell-bindings minisat-haskell-bindings Public

   Haskell-Bindings to MiniSat

   Haskell 14 3

6. minisat-c-bindings minisat-c-bindings Public

   C-Bindings to MiniSat

   C++ 8 8