Group: net.hostettler.jdd - All Dependencies

Java Decision Diagram · JDD is Java Decision Diagram library. This library provides Java support to encode Data Decision Diagrams and Hierarchical Set Decision Diagrams as well as set and homomorphic operations.