Package org.sosy_lab.solver.example

Some basic examples for using Java-SMT.

See: Description

Class Summary

Class	Description
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".

Package org.sosy_lab.solver.example Description

Some basic examples for using Java-SMT.