GitHub - AlloyTools/minisatprover: The Pseudo-Boolean Solver MiniSat+

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
ADTs		ADTs
Examples		Examples
doc		doc
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Debug.cc		Debug.cc
Debug.h		Debug.h
Hardware.h		Hardware.h
Hardware_adders.cc		Hardware_adders.cc
Hardware_clausify.cc		Hardware_clausify.cc
Hardware_sorters.cc		Hardware_sorters.cc
LICENSE		LICENSE
Main.cc		Main.cc
Main.h		Main.h
Makefile		Makefile
PbParser.cc		PbParser.cc
PbParser.h		PbParser.h
PbSolver.cc		PbSolver.cc
PbSolver.h		PbSolver.h
PbSolver_convert.cc		PbSolver_convert.cc
PbSolver_convertAdd.cc		PbSolver_convertAdd.cc
PbSolver_convertBdd.cc		PbSolver_convertBdd.cc
PbSolver_convertSort.cc		PbSolver_convertSort.cc
README		README
minisat+_script		minisat+_script

Repository files navigation

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