These are the sources of the SAT solver PrecoSAT. To build issue ./configure && make for compilation options see './configure -h'.
These are the sources of the SAT solver PrecoSAT. To build issue ./configure && make for compilation options see './configure -h'.