public final class Z3Solver extends SolverBase
Constructor and Description |
---|
Z3Solver() |
Modifier and Type | Method and Description |
---|---|
protected java.util.List<java.lang.String> |
getHeader()
Returns the list of solver-specific header lines.
|
java.io.Reader |
invokeSolver(java.lang.String path) |
SolverResult |
solve(Constraint constraint)
Solves the specified constraint.
|
addCustomOperation, addCustomOperation, addStandardOperation, getDescription, getName, getOperations, getSolverPath, isGeneric, isSupported, setSolverPath, supportedKindCheck
protected java.util.List<java.lang.String> getHeader()
public java.io.Reader invokeSolver(java.lang.String path) throws java.io.IOException
java.io.IOException
public SolverResult solve(Constraint constraint)
Solver
constraint
- A constraint object.