Precosat
Armin Biere's PrecoSAT SAT solver
Install / Use
/learn @damelang/PrecosatREADME
These are the sources of the SAT solver PrecoSAT.
To build issue
./configure && make
for compilation options see './configure -h'.
Armin Biere's PrecoSAT SAT solver
/learn @damelang/PrecosatThese are the sources of the SAT solver PrecoSAT.
To build issue
./configure && make
for compilation options see './configure -h'.
