asminer/meddly

Multi-terminal and Edge-valued Decision Diagram LibrarY

Language: C++ - Size: 9.56 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 13 - Forks: 5

microsoft/DecisionDiagrams

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

Language: C# - Size: 323 KB - Last synced: 12 days ago - Pushed: 9 months ago - Stars: 48 - Forks: 17

incaseoftrouble/jbdd

Efficient pure Java implementation of (Binary) Decision Diagrams

Language: Java - Size: 383 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 4 - Forks: 0

the-pinbo/ROBDD

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.

Language: Jupyter Notebook - Size: 5.39 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

yurireeis/bddocs

Create end-user readable docs in Pythonic way

Language: Python - Size: 68.4 KB - Last synced: 3 months ago - Pushed: about 7 years ago - Stars: 3 - Forks: 0

gglusman/genome-fingerprints

Software for creating and comparing genome fingerprints.

Language: Perl - Size: 1010 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 11 - Forks: 5

gglusman/data-fingerprints

Language: Python - Size: 95.7 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 7 - Forks: 3

netkat-lang/idds

Identity suppressed decision diagrams (IDDs)

Language: OCaml - Size: 118 KB - Last synced: over 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 1

gglusman/genotype-fingerprints

Language: Perl - Size: 15.1 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 5 - Forks: 2