Pinned Loading

1. sat sat Public

   SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B

   C++ 10 2

2. cnfc cnfc Public

   A Python module that generates DIMACS CNF files

   Python 2

3. millisat millisat Public

   A single-file Python CDCL SAT solver

   Python 1

4. cover cover Public

   Solvers for the exact set cover problem and variants

   XC 4 1

5. regrams regrams Public

   Convert regular expressions to trigram queries in the spirit of Google's codesearch.

   Go 24 2

6. pgass pgass Public

   A pretty good answer set solver

   Answer Set Programming