Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

kaplan [2012/02/13 16:38]
philippe.suter
kaplan [2012/02/14 00:10] (current)
philippe.suter
Line 21: Line 21:
 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.
  
 The distribution includes example programs. The distribution includes example programs.
 
kaplan.txt · Last modified: 2012/02/14 00:10 by philippe.suter