#!/bin/bash

#make minisat
cd Score2SAT_source_codes/
cd Score2SAT/
make
cp Score2SAT ../../bin/
make cleanup

cd ../DCCASat_ran_AAAI-14/
make
cp DCCASat ../../bin/
make cleanup

cd ../WalkSATlm2013/
make
cp WalkSATlm2013 ../../bin/
make cleanup
