runInternal(ConstraintSet constraintSet, boolean lightWeight) runs first the conversion into the Simplify syntax,
and runs Simplify via a temporary file.
runs first the conversion into the Simplify syntax,
and runs Simplify via a temporary file.
Parameters: lightWeight - true iff only quantifier free formulas shall beconsidered.
Fields inherited from de.uka.ilkd.key.proof.decproc.AbstractDecisionProcedure