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-diagrams

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

https://github.com/microsoft/decisiondiagrams

A performant and ergonomic implementation of binary decision diagrams for .NET

bdds binary-decision-diagrams verification

Last synced: 07 Oct 2024

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/timbeurskens/rsbdd

A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust

binary-decision-diagrams boolean-satisfiability np-complete sat-solver

Last synced: 15 Nov 2024

https://github.com/incaseoftrouble/jbdd

Efficient pure Java implementation of (Binary) Decision Diagrams

bdds binary-decision-diagrams java

Last synced: 23 Oct 2024

https://github.com/m4lvin/hascacbdd

λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

binary-decision-diagrams ffi haskell-bindings

Last synced: 14 Oct 2024

https://github.com/johnyf/cudd

Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>

binary-decision-diagrams c cpp cudd

Last synced: 28 Nov 2024

https://github.com/rpigor/librobdd

Minimal ROBDD library implemented as part of the Verification of Digital Systems course

binary-decision-diagrams decision-trees formal-verification robdd

Last synced: 10 Nov 2024