epfl-lara / inox 1.0.2

Apache License 2.0 GitHub

Solver for higher-order functional programs, used by Stainless

Scala versions: 2.12

inox 0.8

Group ID:

ch.epfl.lara

Artifact ID:

inox_2.11

Version:

0.8

Release Date:

Dec 28, 2016

Licenses:

GPL-3.0

Files:

Full Scala Version:

2.11.8

Developers:

libraryDependencies += "ch.epfl.lara" %% "inox" % "0.8"

ivy"ch.epfl.lara::inox:0.8"

//> using dep "ch.epfl.lara::inox:0.8"

import $ivy.`ch.epfl.lara::inox:0.8`

<dependency>
  <groupId>ch.epfl.lara</groupId>
  <artifactId>inox_2.11</artifactId>
  <version>0.8</version>
</dependency>

compile group: 'ch.epfl.lara', name: 'inox_2.11', version: '0.8'