BoReAl

Boolean Reduction Algorithm - Lambda Decision Diagram