GitHub - tonyling/research-sat-solvers: Comparison of modern and competitive SAT solvers

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
Walksat_v51		Walksat_v51
dimetheus_latest		dimetheus_latest
minisat		minisat
picosat-960		picosat-960
probsat		probsat
sat2005_submission		sat2005_submission
zchaff64		zchaff64
dimetheus.py		dimetheus.py
glucose_2.py		glucose_2.py
glucose_3.py		glucose_3.py
lingeling.py		lingeling.py
minisat.py		minisat.py
minisat_2005.py		minisat_2005.py
picosat_960.py		picosat_960.py
probsat.py		probsat.py
results_storage.py		results_storage.py
run_tests.sh		run_tests.sh
sat_solver_results.ods		sat_solver_results.ods
walksat_51.py		walksat_51.py
zchaff.py		zchaff.py