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 binary-decision-diagram

A curated list of projects in awesome lists tagged with binary-decision-diagram .

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: 16 Dec 2024

https://github.com/msakai/haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

bdd binary-decision-diagram binary-decision-diagrams data-structures haskell zdd

Last synced: 28 Oct 2024

https://github.com/rohankalbag/optivlsi

A library for fast and optimized VLSI Computer-Aided-Design algorithms

automan binary-decision-diagram graph-algorithms logic-simulator numba-jit python vlsi-cad

Last synced: 12 Nov 2024