j

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
encode support data provides well decision homomorphic hierarchical library java operations diagram this diagrams
Aggregated version Version Update time
1.0 1.0.2 Nov 25, 2020
1.0.1 Nov 22, 2020
1.0.0 Nov 21, 2020
3 Records