A Java Library for Algebraic Decision Diagrams

To appear…