epfl-lara / inox   1.0.2

Apache License 2.0 GitHub

Solver for higher-order functional programs

Scala versions: 2.12