Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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
 
© EPFL 2018 - Legal notice