These are the sources of the PicoSAT solver taken from Here. All copy right reserved to authors of picosat.
./configure.sh && make -j4
The API is document in 'picosat.h'. See also 'NEWS' and 'LICENSE'.
These are the sources of the PicoSAT solver taken from Here. All copy right reserved to authors of picosat.
./configure.sh && make -j4
The API is document in 'picosat.h'. See also 'NEWS' and 'LICENSE'.