A performant and ergonomic implementation of binary decision diagrams for .NET

Multi-terminal and Edge-valued Decision Diagram LibrarY

Software for creating and comparing genome fingerprints.

Efficient pure Java implementation of (Binary) Decision Diagrams

BlueCat Usersscripts

Create end-user readable docs in Pythonic way

A binary decision diagram is a directed acyclic graph used to represent a Boolean function. The ROBDD is a canonical form, which means that given an identical ordering of input variables, equivalent Boolean functions will always reduce to the same ROBDD.

Identity suppressed decision diagrams (IDDs)