Sat Solver

You can build Makefile by yourself:

$ cmake CMakeLists.txt
$ make
$ ./sat_solver

Name		Name	Last commit message	Last commit date
Latest commit History 68 Commits
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
cnf.cpp		cnf.cpp
cnf.hpp		cnf.hpp
eval.cpp		eval.cpp
eval.hpp		eval.hpp
lexer.cpp		lexer.cpp
lexer.hpp		lexer.hpp
main.cpp		main.cpp
parser.cpp		parser.cpp
parser.hpp		parser.hpp
readme.md		readme.md
rules.txt		rules.txt
test_generator3000.cpp		test_generator3000.cpp