GitHub - karpiu/kp-minisatp

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
ADTs		ADTs
Examples		Examples
doc		doc
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Debug.cc		Debug.cc
Debug.h		Debug.h
DirOrOddEvenMerge.inl		DirOrOddEvenMerge.inl
Hardware.h		Hardware.h
Hardware_adders.cc		Hardware_adders.cc
Hardware_clausify.cc		Hardware_clausify.cc
Hardware_sorters.cc		Hardware_sorters.cc
HashQueue.h		HashQueue.h
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
System.cc		System.cc
System.h		System.h
cominisatps.patch		cominisatps.patch
config.cominisatps		config.cominisatps
config.glucose3		config.glucose3
config.glucose4		config.glucose4
config.maple		config.maple
config.minisat		config.minisat
minisat+_script		minisat+_script

Repository files navigation

================================================================================
Quick Install

- clone the repository into kp-minisatp:
    git clone https://github.com/karpiu/kp-minisatp kp-minisatp
    
- get COMiniSatPSChandrasekharDRUP.zip from 
    wget https://baldur.iti.kit.edu/sat-competition-2016/solvers/main/COMiniSatPSChandrasekharDRUP.zip
- unzip and move:
    unzip COMiniSatPSChandrasekharDRUP.zip
    mv 'COMiniSatPS Chandrasekhar DRUP/cominisatps' .
- apply kp-minisatp/cominisatps.patch:
    cd cominisatps
    patch -p1 <../kp-minisatp/cominisatps.patch
- compile the SAT solver library:
    cd simp
    MROOT=.. make libr
    cd .. ; ln -s . minisat ; cd ..

- build the kp-minisatp solver (release version, statically linked):
  cd kp-minisatp
  make config
  make r

- the executable file is: build/release/bin/minisatp