| Class | Description |
|---|---|
| AllSatExample |
This example shows different ways to get all satisfiable models for a given set of constraints.
|
| HoudiniApp |
This application executes the inductive-invariant synthesis algorithm called "Houdini" taken from
the paper Flanagan and Leino: "Houdini, an Annotation Assistant for ESC/Java".
|
| Interpolation |
Examples for Craig/sequential/tree interpolation.
|
| OptimizationFormulaWeights |
Example for optimizing the weight of some constraints.
|
| OptimizationIntReal |
Example for optimizing 'x' with the constraint '0 <= x < 10'.
|