epfl-lara / inox 1.0

Apache License 2.0 GitHub

Solver for higher-order functional programs, used by Stainless

Scala versions: 2.12

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)