These are the sources of the SAT solver PrecoSAT.

To build issue

  ./configure && make

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