1. Arash Vahidi (private)
  2. JDD

Overview

HTTPS SSH

JDD

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).