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

• UpdatedMar 12, 2025
• TypeScript

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

• UpdatedAug 15, 2022
• C++

Rust powered engine for solving Boolean satisfiability problems

• UpdatedMay 13, 2020
• Rust

Implementation of ROBDD in python

• UpdatedFeb 19, 2018
• Jupyter Notebook

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.

• UpdatedOct 2, 2022
• Jupyter Notebook

Minimal ROBDD library

• UpdatedMar 4, 2024
• C++

• UpdatedJun 14, 2018
• Java

LiBDD is a multi-platform Binary Decision Diagrams package.

• UpdatedSep 29, 2017
• C

Implementation of the Binary Decision Diagrams in Racket

• UpdatedNov 17, 2016
• Racket

• UpdatedJan 13, 2018
• OCaml

Ce TP implémente la manipulation et la construction de ROBDD, ainsi qu’une application pour résoudre le problème des N reines.

• UpdatedJan 3, 2025
• Java

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

• UpdatedJan 26, 2021
• OCaml

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

• UpdatedFeb 14, 2021
• VHDL

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

• UpdatedFeb 20, 2021
• TeX

Designing Equivalence Checker based on ROBDD algorithm, the engine input will be 2 boolean functions and results will be ROBDD graphs with equivalence or non-equivalence results.

• UpdatedSep 25, 2024
• Python