public final class Z3Solver extends SmtTextSolver
| Constructor and Description |
|---|
Z3Solver() |
| Modifier and Type | Method and Description |
|---|---|
java.io.Reader |
invokeSolver(java.lang.String path) |
solveaddCustomOperation, addCustomOperation, addStandardOperation, getDescription, getName, getOperations, getSolverPath, isGeneric, isSupported, setSolverPath, supportedKindCheckpublic java.io.Reader invokeSolver(java.lang.String path)
throws java.io.IOException
invokeSolver in class SmtTextSolverjava.io.IOException