public final class Z3TextSolver extends SolverBase
Constructor and Description |
---|
Z3TextSolver() |
Modifier and Type | Method and Description |
---|---|
SolverResult |
solve(Constraint constraint)
Solves the specified constraint.
|
addCustomOperation, addCustomOperation, addStandardOperation, getDescription, getName, getOperations, isGeneric, isSupported, notNullCheck, supportedKindCheck
public SolverResult solve(Constraint constraint)
Solver
constraint
- A constraint object.