ADD-Lib

ADD-Lib

A Java Library for Algebraic Decision Diagrams, Code Generation and Layouting