epfl-lara / inox   1.0.2

Apache License 2.0 GitHub

Solver for higher-order functional programs

Scala versions: 2.12 2.11
0 version found for artifacts
We can't find any release that matches all you criteria