Propositional logic and simple predicate assignments powerpoint
Propositional logic and simple
predicate assignments
Home assignment 2 : Margus Martsepp
Advanced Course of Applied Logics ( ITV0081 )
Overview
Setting up
· zChaff
· glucose
· BerkMin
Collecting problemset
· trivial problem
· benchmark
Using problemset
zChaff
Installing compiler
$ sudo apt-get install build-essential
zchaff {download, unarhive, make executable}
$ wget http://www.princeton.edu/~chaff/zchaff/zchaff.2008.10.12.zip
$ unzip zchaff.2008.10.12.zip
$ 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
annaabi.ee 
