Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with robdd
A curated list of projects in awesome lists tagged with robdd .
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: 31 Oct 2024
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: 11 Oct 2024
