Module src.olaaaf.simplificator

Representation of simplification algorithms, used to simplify a conjunction of litterals (i.e olaaaf.formula.nullaryFormula.constraint.linearConstraint.LinearConstraint or olaaaf.formula.unaryFormula.notOperator.Not).

Sub-modules

src.olaaaf.simplificator.caron

Implementation of the Caron algorithm for simplification of conjunction of literals (i.e …

src.olaaaf.simplificator.daalmans

Implementation of the Daalmans method for simplification of conjunction of literals (i.e …

src.olaaaf.simplificator.simplificator

Abstract class, representing a simplificator of conjunction of litterals (i.e …