Leon 3.0 
Getting Started
To build Leon you will need JDK, scala, sbt, and some external solver binaries. On Linux, it should already work out of the box.
To get started, see the documentation chapters, such as
"library/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "be71561e2a2b3a66e96c0d382eab0af1ab003d69"
| Name | Last commit | Last update |
|---|---|---|
| library | ||
| libtest | ||
| project | ||
| scripts | ||
| src | ||
| testcases | ||
| travis | ||
| unmanaged | ||
| .gitignore | ||
| .larabot.conf | ||
| .sbtopts | ||
| .travis.yml | ||
| CHANGELOG.md | ||
| CLA.txt | ||
| CODING_GUIDELINES.md | ||
| LICENSE | ||
| Notes-on-laziness | ||
| README.md | ||
| build.sbt |