Awesome Scala
Login
epfl-lara
/
inox
1.0.2
Apache License 2.0
GitHub
Solver for higher-order functional programs
Scala versions:
2.12
2.11
Project
62 Versions
Badges
inox
2.12
2.11
Show pre-release versions
6
versions found for
inox
1.1.0
6 years ago
GPL-3.0
JVM:
2.11
1.0.2
7 years ago
GPL-3.0
JVM:
2.12
2.11
1.0.1
7 years ago
GPL-3.0
JVM:
2.12
2.11
1.0
7 years ago
GPL-3.0
JVM:
2.12
2.11
0.8
7 years ago
GPL-3.0
JVM:
2.11
0.9
7 years ago
GPL-3.0
JVM:
2.11