idp_engine.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)

It has 2 parts: * symbolic propagation * Z3 propagation

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

Read the Docs v: latest

Versions: latest; stable; 0.10.12; 0.10.11; 0.10.10; 0.10.9; 0.10.8; 0.10.7; 0.10.6; 0.10.5; 0.10.4; 0.10.3; 0.10.2; 0.10.1; 0.10.0; 0.9.2; 0.9.1; 0.9.0; 0.8.4; 0.8.3; 0.8.2; 0.8.1; 0.8.0; 0.7.2; 0.7.1; 0.7.0; 0.6.1; 0.5.6; 0.5.5; 0.5.4; 0.5.3

Downloads: pdf

On Read the Docs: Project Home; Builds