ap.parser
Class to simplify input formulas using various rewritings. Argument splittingLimit controls whether the formula is also (naively) turned into DNF.
splittingLimit
Perform various kinds of simplification to the given formula, in particular mini-scoping and eliminate of simple kinds of quantifiers
Hook for subclasses
Class to simplify input formulas using various rewritings. Argument
splittingLimit
controls whether the formula is also (naively) turned into DNF.