/precosat

Armin Biere's PrecoSAT SAT solver

Primary LanguageC++MIT LicenseMIT

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

./configure && make

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