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

Name		Name	Last commit message	Last commit date
Latest commit History 5,326 Commits
RuntimeEvaluation		RuntimeEvaluation
examples		examples
library/leon		library/leon
project		project
scripts		scripts
src		src
testcases		testcases
travis		travis
unmanaged		unmanaged
.gitignore		.gitignore
.larabot.conf		.larabot.conf
.sbtopts		.sbtopts
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
CLA.txt		CLA.txt
CODING_GUIDELINES.md		CODING_GUIDELINES.md
LICENSE		LICENSE
README.md		README.md
Tasks.md		Tasks.md
artifact.md		artifact.md
build.sbt		build.sbt