Edits towards integration with SBSAT made by Sean Weaver.

--------------------------------------------------------

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'.
