GitHub - drancom/minisatp: The Pseudo-Boolean Solver MiniSat+

drancom / minisatp Public

forked from niklasso/minisatp

Notifications You must be signed in to change notification settings
Fork 0
Star 0

The Pseudo-Boolean Solver MiniSat+

View license

0 stars 13 forks Branches Tags Activity

Star

Notifications

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