epfl-lara / inox 1.0.2

Apache License 2.0 GitHub

Solver for higher-order functional programs

Scala versions: 2.12 2.11

Latest version

[![inox Scala version support](https://index.scala-lang.org/epfl-lara/inox/inox/latest.svg)](https://index.scala-lang.org/epfl-lara/inox/inox)

JVM badge

[![inox Scala version support](https://index.scala-lang.org/epfl-lara/inox/inox/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/epfl-lara/inox/inox)