We provide a distribution of Kaplan for 32 bit Linux systems.((The restriction comes from the version of Z3 that is packaged with the distribution.)) Scala and Z3 are included in the distribution,​ so the only dependencies are Java and Bash.

We provide a distribution of Kaplan for 32 bit Linux systems.((The restriction comes from the version of Z3 that is packaged with the distribution.)) Scala and Z3 are included in the distribution,​ so the only dependencies are Java and Bash.

-

You can download the distribution ​ [[http://​lara.epfl.ch/​~psuter/​kaplan/​kaplan.tgz|here]]. Please go through the included ''​README''​ file.

+

You can download the distribution ​ [[http://​lara.epfl.ch/​~psuter/​kaplan/​kaplan.tgz|here]] ​(~25MB). Please go through the included ''​README''​ file.