Popular repositories Loading

1. CoSENT CoSENT Public

   Python 1

2. sharpSAT sharpSAT Public

   Forked from marcthurley/sharpSAT

   The #SAT solver sharpSAT

   C++

3. ganak ganak Public

   Forked from meelgroup/ganak

   The first scalable probabilistic exact counter

   C++

4. SAT-Solver-DPLL SAT-Solver-DPLL Public

   Forked from sukrutrao/SAT-Solver-DPLL

   A simple SAT solver that implements the DPLL algorithm with unit resolution

   C++

5. ADDMC ADDMC Public

   Forked from vardigroup/ADDMC

   An exact CNF literal-weighted model counter using algebraic decision diagrams

   C++

6. neurosat neurosat Public

   Forked from dselsam/neurosat

   NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

   Python