robdd

Catoverflow/ROBDD

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

tchupp/ignition

Rust powered engine for solving Boolean satisfiability problems

abhinuvpitale/ROBDD

Implementation of ROBDD in python

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.

rpigor/librobdd

Minimal ROBDD library

pcerman/bdd-racket

Implementation of the Binary Decision Diagrams in Racket

scriptographers/CS254-Assignment-3

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

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

vmikhav/liBDD

LiBDD is a multi-platform Binary Decision Diagrams package.

ahmd-kamel/ROBDD-Based-Equivalence-Checker

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.

eyasam/ROBDD-Diagram

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

scriptographers/CS254-Assignment-4

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

Vedant2311/SAT-solver-toolbox

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

xuedong/robdd