Module boolean 

Boolean expression simplification using BDDs

Functions

simplify_boolean

Simplify a boolean expression using BDD-based simplification

simplify_or_expression

Simplify OR expressions using BDD