robdd
There are 0 repository under robdd topic.
pubkey / binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
Language:TypeScript 29Catoverflow / ROBDD
All-in-one proposition to ROBDD constructor, featured by LALR parsing
Language:C++ 5- Language:Rust 5
- Language:Jupyter Notebook 3
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 2pcerman / bdd-racket
Implementation of the Binary Decision Diagrams in Racket
Language:Racket 1scriptographers / CS254-Assignment-3
Assignment 3, Digital Logic Design Lab, Spring 2021, IIT Bombay
Language:VHDL 1- Language:Java 1
- Language:C 1
rpigor / librobdd
Minimal ROBDD library implemented as part of the Verification of Digital Systems course
Language:C++Assignment 4, Digital Logic Design Lab, Spring 2021, IIT Bombay
Language:TeXVedant2311 / 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- Language:OCaml
