sat-solver

Simple Random 3-SAT solver in C++. 2015.

Compiling

Run make on installation directory.

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
tests		tests
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
li-results.sh		li-results.sh
resultats.txt		resultats.txt
resum.txt		resum.txt
solver.cpp		solver.cpp