epfl-lara / inox   1.0

Apache License 2.0 GitHub

Solver for higher-order functional programs, used by Stainless

Scala versions: 2.12
Found 1 artifact
inox 1.1.0
6 years ago
GPL-3.0
JVM:
2.11