pubkey/binary-decision-diagram

A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram

Language: TypeScript - Size: 361 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 34 - Forks: 2

Catoverflow/ROBDD

All-in-one proposition to ROBDD constructor, featured by LALR parsing

Language: C++ - Size: 241 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 6 - 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 at: 22 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

rpigor/librobdd

Minimal ROBDD library

Language: C++ - Size: 9.11 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

sudharavali/Implementation-and-Reduction-of-Reduced-order-Binary-Decision-Diagrams-

Language: Java - Size: 916 KB - Last synced at: 12 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1

pcerman/bdd-racket

Implementation of the Binary Decision Diagrams in Racket

Language: Racket - Size: 162 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

tchupp/ignition

Rust powered engine for solving Boolean satisfiability problems

Language: Rust - Size: 779 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 0

Cad-MB/Diagrammes-de-decision-binaires-BDD

Sorbonne University - UE MU4IN500 ALGAV (Algorithmique Avancée)

Language: Java - Size: 11.7 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

scriptographers/CS254-Assignment-3

Assignment 3, Digital Logic Design Lab, Spring 2021, IIT Bombay

Language: VHDL - Size: 1.03 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

scriptographers/CS254-Assignment-4

Assignment 4, Digital Logic Design Lab, Spring 2021, IIT Bombay

Language: TeX - Size: 12.8 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

abhinuvpitale/ROBDD

Implementation of ROBDD in python

Language: Jupyter Notebook - Size: 1.19 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

Vedant2311/SAT-solver-toolbox

Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem

Language: OCaml - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

xuedong/robdd

Language: OCaml - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

vmikhav/liBDD

LiBDD is a multi-platform Binary Decision Diagrams package.

Language: C - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1