netkat-lang/idds

Identity suppressed decision diagrams (IDDs)

Language: OCaml - Size: 118 KB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1

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 at: 19 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

microsoft/DecisionDiagrams

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

Language: C# - Size: 323 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 54 - Forks: 20

gglusman/genome-fingerprints

Software for creating and comparing genome fingerprints.

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

incaseoftrouble/jbdd

Efficient pure Java implementation of (Binary) Decision Diagrams

Language: Java - Size: 403 KB - Last synced at: 23 days ago - Pushed at: 10 months ago - Stars: 6 - Forks: 0

asminer/meddly

Multi-terminal and Edge-valued Decision Diagram LibrarY

Language: C++ - Size: 9.56 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 13 - Forks: 5

yurireeis/bddocs

Create end-user readable docs in Pythonic way

Language: Python - Size: 68.4 KB - Last synced at: about 12 hours ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 0

gglusman/data-fingerprints

Language: Python - Size: 95.7 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 3

gglusman/genotype-fingerprints

Language: Perl - Size: 15.1 MB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 2