This is an old revision of the document!
Kaplan
Obtaining Kaplan
From source
This will give you read-only access to the source repository (includes the source code of Leon).
git clone git://laragit.epfl.ch/projects/leon-kaplan.git
Please be advised that due to the numerous dependencies, compiling Kaplan from source can be quite a challenge.
Precompiled
We provide a distribution of Kaplan for 32 bit Linux systems.1) You can download it here. Please go through the included `README` file.
1)
The restriction comes from the version of Z3 that is packaged with the distribution.