Pinned Loading

1. satsatPublic

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

   C++ 10 2

2. cnfccnfcPublic

   A Python module that generates DIMACS CNF files

   Python 2

3. millisatmillisatPublic

   A single-file Python CDCL SAT solver

   Python 1

4. covercoverPublic

   Solvers for the exact set cover problem and variants

   XC 4 1

5. regramsregramsPublic

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

   Go 24 2

6. levtrielevtriePublic

   A Trie supporting fast searches based on edit distance

   Go 1