microsat-cpp

micro SAT solver written in c++

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
benchmarks		benchmarks
literature		literature
.clang-format		.clang-format
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
driver.cpp		driver.cpp
driver.hpp		driver.hpp
example.cnf		example.cnf
main.cpp		main.cpp
memory.cpp		memory.cpp
memory.hpp		memory.hpp
memory_test.cpp		memory_test.cpp
microsat++		microsat++
simple.cnf		simple.cnf
solver.cpp		solver.cpp
solver.hpp		solver.hpp
test.sh		test.sh
tools.cpp		tools.cpp
tools.hpp		tools.hpp

Provide feedback