concepts.dsl.expression_utils.simplify_bool_expr#
- simplify_bool_expr(expr, propagate_negation=False)[source]#
Simplify a Boolean expression. Currently only supports AND, OR, NOT, FORALL, EXISTS.
- Parameters:
expr (ValueOutputExpression)
propagate_negation (bool)
- Return type: