public final class Cvc4Solver extends SmtTextSolver
| Constructor and Description |
|---|
Cvc4Solver() |
| Modifier and Type | Method and Description |
|---|---|
static Function |
customPlus() |
static Function |
customRem() |
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.IOExceptionpublic static Function customRem()
public static Function customPlus()