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