Class | Description |
---|---|
SmtVariablePrefixes |
This class contains declaration of all the prefixes used for variables in the solver.
|
Z3Context |
This class contains a Z3 Solver context.
|
Z3Solver |
Expose the Z3 Solver to our framework.
|
Enum | Description |
---|---|
Z3Solver.SatResult |
Result of a SMT query
|