"zlib1g" - 1 õppematerjal

Propositional logic and simple predicate assignments powerpoint

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