priyanka-golia/picosat

just a copy of picosat avaiable at https://fmv.jku.at/picosat/ version 965

These are the sources of the PicoSAT solver taken from Here. All copy right reserved to authors of picosat.

Complie

./configure.sh && make -j4

The API is document in 'picosat.h'. See also 'NEWS' and 'LICENSE'.