The Pseudo-Boolean Solver MiniSat+
C++ C Shell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
ADTs
Examples
doc
.gitignore
CMakeLists.txt
Debug.cc
Debug.h
Hardware.h
Hardware_adders.cc
Hardware_clausify.cc
Hardware_sorters.cc
LICENSE
Main.cc
Main.h
Makefile
PbParser.cc
PbParser.h
PbSolver.cc
PbSolver.h
PbSolver_convert.cc
PbSolver_convertAdd.cc
PbSolver_convertBdd.cc
PbSolver_convertSort.cc
README
minisat+_script

README

================================================================================
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".