Originally imported from http://fmv.jku.at/picosat/
PicoSAT - A boolean satisfiablity solver
These are the sources of the PicoSAT solver. The preprocessor is not included. To compile run './configure && make'. The API is document in 'picosat.h'. See also 'NEWS' and 'LICENSE'.
With biicode compilation is made very easy. Basiically, just get the biicode block or integrate the block into your application and type bii build
. Please have a look at https://www.biicode.com/ for detailed information.