Popular repositories Loading

1. microsat microsat Public

   microsat

   C 130 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 50 20

4. CnC CnC Public

   Cube-and-Conquer SAT solver

   C 31 12

5. matrix-challenges matrix-challenges Public

   Challenging SAT benchmarks for matrix multiplication

   C 9 1

6. sat-examples sat-examples Public

   Simple examples of using SAT solvers

   C 7 1