Projects in Awesome Lists tagged with robdd

A curated list of projects in awesome lists tagged with robdd .

- Recently synced
- Stars

https://github.com/pubkey/binary-decision-diagram

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

bdd binary-decision-diagram binary-decision-diagrams binary-decision-tree mtbdd robdd truth-table

Last synced: 06 Apr 2025

https://github.com/catoverflow/robdd

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

robdd sat-solver

Last synced: 18 Jul 2025

https://github.com/tchupp/ignition

Rust powered engine for solving Boolean satisfiability problems

boolean-satisfiability decision-diagrams robdd rust

Last synced: 02 Aug 2025

https://github.com/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.

bdd bdds boolean-algebra graphviz-dot ipynb-jupyter-notebook pthon3 robdd vlsi vlsi-cad