Popular repositories

1. super-simple-sat super-simple-sat Public

   A super simple SAT solver.

   Rust 3

2. candy candy Public

   Candy Reduced to its Core

   C++ 2

3. cadical_stability cadical_stability Public

   Stable Watches for CaDiCaL

   C++

4. cnfkit cnfkit Public

   C++

5. gatekit gatekit Public

   Generic algorithms and data structures related to gate constraints in SAT CNF problems

   C++

6. garrett garrett Public

   Command-line utility for evaluating gatekit

   C++