Project Group: net.hostettler.jdd

Java Decision Diagram

net.hostettler.jdd : jdd

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.

Last Version: 1.0.2

Release Date: Nov 25, 2020