Download inox_2.11 JAR file with all dependencies
inox_2.11 from group ch.epfl.lara (version 1.1.0-343-gdc719cc)
inox
Artifact inox_2.11
Group ch.epfl.lara
Version 1.1.0-343-gdc719cc
Last update 18. February 2020
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.11, princess_2.11,
There are maybe transitive dependencies!
Group ch.epfl.lara
Version 1.1.0-343-gdc719cc
Last update 18. February 2020
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.11, princess_2.11,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)