Minisatp
The Pseudo-Boolean Solver MiniSat+
Install / Use
/learn @niklasso/MinisatpREADME
================================================================================ Quick Install
-
Install MiniSat somewhere. Follow instructions in MiniSat's README.
-
Configure MiniSat+ using the same "prefix" as for MiniSat. This will set up include-paths etc in the most simple way.
-
Build with "make" and install with "make install".
