Propositional logic and simple predicate assignments powerpoint
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
Benchmark : SAT
Total Run Time
problemset/handmade/gomes/qwh/qwh.35.405.shuffled-
as.sat03-1651.cnf.gz
· zChaff : 32.586 s
· glucose : 30.8779 s
problemset/industrial/maris/CNF/hanoi5.shuffled-as.sat03-
400.cnf
annaabi.ee 
