JavaBDD library

E2000679 UNEXPLORED

JavaBDD library is a Java-based software library that provides data structures and algorithms for creating and manipulating Binary Decision Diagrams (BDDs) in formal verification and related applications.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
JavaBDD library canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

OBDD → implementedIn → JavaBDD library ⓘ

subject linked to: OBDDs