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.

https://https://github.com/hostettler/jdd

APACHE LICENSE, VERSION 2.0

Steve Hostettler