Inox 0.1 
InOx
InOx has no rust. InOx we trust!
To build InOx, you will need JDK, scala, sbt, and some external solver binaries. On Linux, it should already work out of the box.
To get started, see the documentation chapters, such as
Peter Backeman
authored
-PrincessSolver.scala contains the wrapper code of an (incomplete) api towards princess. -princess.jar & scala-actors-2.11.0.jar A (special) version of Princess with support for Natural numbers (i.e., an ADT with Succ, isZero, Pred and constant zero. Also changed SolverFactory s.t. it allows --solvers=princess to run with the new Princess backend.
| Name | Last commit | Last update |
|---|---|---|
| project | ||
| src | ||
| unmanaged | ||
| .gitignore | ||
| .larabot.conf | ||
| .sbtopts | ||
| CLA.txt | ||
| InOxWeTrust.jpg | ||
| LICENSE | ||
| README.md | ||
| build.sbt |