Popular repositories Loading

1. microsat microsat Public

   microsat

   C 143 26

2. Keller-encode Keller-encode Public

   code related to Keller's conjecture

   TeX 78 10

3. drat-trim drat-trim Public

   The DRAT-trim proof checker

   C 69 23

4. CnC CnC Public

   Cube-and-Conquer SAT solver

   C 44 14

5. matrix-challenges matrix-challenges Public

   Challenging SAT benchmarks for matrix multiplication

   C 12 1

6. sat-examples sat-examples Public

   Simple examples of using SAT solvers

   C 9 2