Propositional logic and simple predicate assignments powerpoint
$ cd zchaff
/zchaff$ make
glucose
(Re)installing zlib
$ sudo apt-get install --reinstall zlibc zlib1g zlib1g-dev
glucose {download, unarhive, make executable}
$ wget https://www.lri.fr/~simon/downloads/glucose2.1.tgz
$ tar -xvzf glucose2.1.tgz
$ cd glucose_2.1
/glucose_2.1$ sh build.sh
Note: glucose contains SatElite Preprocessing
BerkMin
installing shared libs
$ sudo apt-get install libstdc++6-4.5-dbg
berkmin {download, unarhive, set as executable}
$ wget http://eigold.tripod.com/BerkMin561-linux.gz
$ gunzip BerkMin561-linux.gz
$ chmod +x BerkMin561-linux
BerkMin
Collecting problemset
cnf problems {download, unarhive}
$ mkdir problemset
$ cd problemset
/problemset$ wget http://people.sc.fsu.edu/~jburkardt/data/cnf/
aim-100-1_6-no-1.cnf
/problemset$ wget http://www.satlib.org/Benchmarks/SAT/New/
Competition-03/distrib-shuffled.tar.bz2
/problemset$ tar -xjvf distrib-shuffled.tar.bz2
zChaff : trivial problem
glucose : trivial problem
glucose : trivial problem
annaabi.ee 
