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 3 1

5. regrams regrams Public

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

   Go 22 2

6. levtrie levtrie Public

   A Trie supporting fast searches based on edit distance

   Go 1