项目作者： ravimad

项目描述：

  An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

高级语言： Scala

项目主页：

项目地址: git://github.com/ravimad/Orb2015.git

创建时间： 2015-05-12T12:48:38Z
项目社区：https://github.com/ravimad/Orb2015
开源协议：Other
下载

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