idp_solver.PropagateΒΆ

Computes the consequences of an expression, i.e., the sub-expressions that are necessarily true (or false) if the expression is true (or false)

This module monkey-patches the Expression class and sub-classes.