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

./configure && make

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