Popular repositories Loading

1. TopoSAT2 TopoSAT2 Public

   The TopoSAT2 SAT solver, heavily based on Glucose (and thus MiniSAT).

   C++ 4

2. JCSS JCSS Public

   Software and data on sorting networks

   C++

3. SAT_benchmarks SAT_benchmarks Public

4. chuffed chuffed Public

   Forked from geoffchu/chuffed

   The CP solver Chuffed

   C

5. CP_benchmarks CP_benchmarks Public

6. ICTAI2014_benchmarks ICTAI2014_benchmarks Public