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) |
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
public static Function customRem()
public static Function customPlus()