Inox
Constraint solver for Stainless
Inox can be used to prove constraints on methods in a program, to attest the correctness of these parts.
active
—
entered showcase: 2019-03-18
—
entry updated: 2024-04-12
This project has not yet been evaluated by the C4DT Factory team.
We will be happy to evaluate it upon request.
Library, Application
Scala
Apache-2.0
Invokes https://github.com/Z3Prover/z3 and http://cvc4.cs.stanford.edu/web/