Details
-
Improvement
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
None
-
Fully Compatible
Description
Introduce a builder for boolean expressions with the purpose to simplify the construction and perform certain in-place simplifications such as deMorgan simplification duplicate predicate elimination, and singular conjunction elimination.