This is the PicoSAT solver.  To compile run './configure && make'.
