davelab6 / precosat

Armin Biere's PrecoSAT SAT solver

These are the sources of the SAT solver PrecoSAT.
To build issue

./configure && make

for compilation options see './configure -h'.