A Framework for Algebraic Decision Diagrams

To appear…..

Arbitrary Algebraic Structures

To appear…

DAG Layouting

To appear…

Code Generation

To appear…