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
Solver interface for higher-order functional programs
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
Solver interface for higher-order functional programs
Other