GitHub

Implementation and benchmarking of diverse SAT solvers and comparison with baselines from Sympy / Pycosat

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitignore		.gitignore
README.md		README.md
baseline.py		baseline.py
brute_force.py		brute_force.py
dpll.py		dpll.py
evaluate.py		evaluate.py
quinnstext.cnf		quinnstext.cnf
sat_solver.py		sat_solver.py
simple_v3_c2.cnf		simple_v3_c2.cnf
test.py		test.py
uf20-01000.cnf		uf20-01000.cnf
uf20-0983.cnf		uf20-0983.cnf
walksat.py		walksat.py

Provide feedback