Projects in Awesome Lists tagged with bdds
A curated list of projects in awesome lists tagged with bdds .
https://github.com/microsoft/decisiondiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
bdds binary-decision-diagrams verification
Last synced: 19 Oct 2025
https://github.com/incaseoftrouble/jbdd
Efficient pure Java implementation of (Binary) Decision Diagrams
bdds binary-decision-diagrams java
Last synced: 22 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
Last synced: 02 Mar 2025
https://github.com/yurireeis/bddocs
Create end-user readable docs in Pythonic way
bdd bdd-style bddocs bdds charts documentation end-user pythonic readable
Last synced: 17 Jan 2026
