GitHub - Drako/SAT: counter based boolean satifiability solver

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
SAT.cbp		SAT.cbp
Satsolver.cpp		Satsolver.cpp
Satsolver.h		Satsolver.h
Table.cpp		Table.cpp
Table.h		Table.h
booleq2cnf.cpp		booleq2cnf.cpp
booleq2cnf.h		booleq2cnf.h
main.cpp		main.cpp
mainLangsam.cpp		mainLangsam.cpp