scripts/picosat-959/README


1
2
3
4
5

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