shaowei-cai-group

Popular repositories Loading

1. Local-MIP Local-MIP Public

   A standalone local search solver for general mixed integer programming

   Mathematical Programming System 54 10

2. z3pp z3pp Public

   C++ 49 9

3. X-SAT X-SAT Public

   An advanced circuit-based sat solver

   C++ 39 4

4. EasySAT EasySAT Public

   A Simple CDCL Solver

   C++ 37 9

5. ParKissat-RS ParKissat-RS Public

   Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

   C 26 5

6. AriParti AriParti Public

   Distributed SMT Solving Based on Dynamic Variable-level Partitioning

   C++ 18 3