Java Binary Decision Diagram JDD is a decision diagram library written in pure Java. It supports Binary Decision Diagrams (BDD) and Zero-suppressed Decision Diagram (Z-BDD or just ZDD). Repackaged version of JavaBDD and JDD to push it to Maven.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool