epfl-lara / inox 1.1.0

Apache License 2.0 GitHub

Solver for higher-order functional programs, used by Stainless

Scala versions: 2.11

inox 1.1.0-269-gc64a439

Group ID:

ch.epfl.lara

Artifact ID:

inox_2.12

Version:

1.1.0-269-gc64a439

Release Date:

Sep 27, 2018

Licenses:

Files:

Full Scala Version:

2.12.1

Developers:

EPFL Lab for Automated Reasoning and Analysis | Nicolas Voirol

libraryDependencies += "ch.epfl.lara" %% "inox" % "1.1.0-269-gc64a439"

ivy"ch.epfl.lara::inox:1.1.0-269-gc64a439"

//> using dep "ch.epfl.lara::inox:1.1.0-269-gc64a439"

import $ivy.`ch.epfl.lara::inox:1.1.0-269-gc64a439`

<dependency>
  <groupId>ch.epfl.lara</groupId>
  <artifactId>inox_2.12</artifactId>
  <version>1.1.0-269-gc64a439</version>
</dependency>

compile group: 'ch.epfl.lara', name: 'inox_2.12', version: '1.1.0-269-gc64a439'