Download inox_2.12 JAR file with all dependencies
inox_2.12 from group ch.epfl.lara (version 1.1.0-189-g97037d4)
inox
Artifact inox_2.12
Group ch.epfl.lara
Version 1.1.0-189-g97037d4
Last update 17. August 2018
Tags: inox
Organization ch.epfl.lara
URL https://github.com/epfl-lara/inox
License GNU Affero General Public License, Version 3
Dependencies amount 5
Dependencies scala-library, commons-lang3, scala-reflect, scala-smtlib_2.12, princess_2.12,
There are maybe transitive dependencies!
Group ch.epfl.lara
Version 1.1.0-189-g97037d4
Last update 17. August 2018
Tags: inox
Organization ch.epfl.lara
URL https://github.com/epfl-lara/inox
License GNU Affero General Public License, Version 3
Dependencies amount 5
Dependencies scala-library, commons-lang3, scala-reflect, scala-smtlib_2.12, princess_2.12,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)