README

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