All Categories → No Category → satisfiability

Top 2 satisfiability open source projects

slime-sat-solver

A Free World Class High Performance SAT Solver

✭ 15

javascript C++HTML CSS Makefile c cnf sat-solver sat satisfiability cnf-clauses cnf-encoding

SAT-Solver-DPLL

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

✭ 37

C++Makefile sat-solver dpll satisfiability dpll-algorithm

1-2 of 2 satisfiability projects