Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision Next revision Both sides next revision | ||
kaplan [2012/02/13 15:56] philippe.suter created |
kaplan [2012/02/13 16:34] philippe.suter |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Kaplan ====== | ====== 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 ===== | ===== Obtaining Kaplan ===== | ||
- | **From source**: | + | **From source** |
This will give you read-only access to the source repository (includes the source code of [[http://lara.epfl.ch/leon/|Leon]]). | This will give you read-only access to the source repository (includes the source code of [[http://lara.epfl.ch/leon/|Leon]]). | ||
Line 11: | Line 17: | ||
Please be advised that due to the numerous dependencies, compiling Kaplan from source can be quite a challenge. | Please be advised that due to the numerous dependencies, compiling Kaplan from source can be quite a challenge. | ||
- | **Precompiled**: | + | **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. | ||
+ | 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. | ||