Differences

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

--- kaplan [2012/02/13 16:29]
philippe.suter
+++ kaplan [2012/02/14 00:10]
philippe.suter
@@ Line 1: / Line 1: @@
 ====== Kaplan ======
+===== What is Kaplan? =====
+Kaplan is an extension of the Scala programming language that supports constraint-solving. Kaplan is described in the following paper:
+A.S. Köksal, V. Kuncak, P. Suter, //Constraints as Control//, POPL 2012, pp. 151-164. [[http://lara.epfl.ch/~kuncak/papers/KoeksalETAL12ConstraintsControl.pdf|PDF]]
 ===== Obtaining Kaplan =====
@@ Line 14: / Line 19: @@
 **Precompiled**
-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.)) You can download it [[http://lara.epfl.ch/~psuter/kaplan/kaplan.tgz|here]]. Please go through the included `README` file.
+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]] (~25MB). Please go through the included ''README'' file.
+The distribution includes example programs.
+Please note that we are actively working on related techniques and that the distribution may therefore not include our most recent progress.