Popular repositories Loading

1. minisat-SPFS minisat-SPFS Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver implementing Symmetry Propagation

   C++ 3 2

2. jurix jurix Public

   TeX

3. acutest acutest Public

   Forked from mity/acutest

   Simple header-only C/C++ unit testing facility.

   C++

4. experiments_PBplusLP experiments_PBplusLP Public

   C++

5. explain-benchmarks explain-benchmarks Public

   Benchmarks constructed when researching explanations for CP solvers

   Python

6. Local-MIP Local-MIP Public

   Forked from shaowei-cai-group/Local-MIP

   A standalone local search solver for general mixed integer programming

   C++