Constant Field Values

tools.refinery.*

tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

Modifier and Type	Constant Field	Value
public static final String	REJECTION_NO_MODEL	"SMT solver failed to return model unexpectedly"
public static final String	REJECTION_UNKNOWN	"SMT solver failed to return model"
public static final String	REJECTION_UNSAT	"SMT problem is not satisfiable"