epfl-lara / inox   1.0.2

Apache License 2.0 GitHub

Solver for higher-order functional programs

Scala versions: 2.12 2.11
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