Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: 24 Sep 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: 24 Sep 2024