GitHub repository: mbovel/inox
Primary language: Scala
Description: Solver for higher-order functional programs