Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Binary Decision Diagrams Open Source Projects

Open source projects categorized as Binary Decision Diagrams
Categories > Binary Decision Diagrams
Dd ⭐ 154
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
dependent packages 15total releases 24most recent commit 6 months agopypi dd} Downloads
Decisiondiagrams ⭐ 41
A performant and ergonomic implementation of binary decision diagrams for .NET
dependent packages 1total releases 20most recent commit 10 months agonuget DecisionDiagrams} Downloads
Binary Decision Diagram ⭐ 28
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
dependent packages 3total releases 21most recent commit 5 months agonpm binary-decision-diagram} Downloads
Adiar ⭐ 19
An I/O-efficient implementation of (Binary) Decision Diagrams
most recent commit 5 months ago
Haskell Decision Diagrams ⭐ 11
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
total releases 2most recent commit a year ago
Adf Obdd ⭐ 9
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
dependent packages 1total releases 3most recent commit 6 months agocargo adf_bdd} Downloads
Bddem ⭐ 9
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
most recent commit 7 months ago
Oxidd ⭐ 8
Concurrent decision diagram framework written in Rust
most recent commit 5 months ago
Hermesbdd ⭐ 6
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
most recent commit 8 months ago
Buddy ⭐ 5
BuDDy BDD package (with CMake support)
most recent commit 10 months ago
The 4 Most Depended On Binary Decision Diagrams Open Source Projects
Dd ⭐ 154
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
dependent packages 15total releases 24latest release January 11, 2022most recent commit 6 months agopypi dd} Downloads
Binary Decision Diagram ⭐ 28
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
dependent packages 3total releases 21latest release November 23, 2023most recent commit 5 months agonpm binary-decision-diagram} Downloads
Decisiondiagrams ⭐ 41
A performant and ergonomic implementation of binary decision diagrams for .NET
dependent packages 1total releases 20latest release August 30, 2023most recent commit 10 months agonuget DecisionDiagrams} Downloads
Adf Obdd ⭐ 9
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
dependent packages 1total releases 3latest release May 04, 2023most recent commit 6 months agocargo adf_bdd} Downloads
The 5 Latest Releases In Binary Decision Diagrams Open Source Projects
Binary Decision Diagram ⭐ 28
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
dependent packages 3total releases 21latest release November 23, 2023most recent commit 5 months agonpm binary-decision-diagram} Downloads
Decisiondiagrams ⭐ 41
A performant and ergonomic implementation of binary decision diagrams for .NET
dependent packages 1total releases 20latest release August 30, 2023most recent commit 10 months agonuget DecisionDiagrams} Downloads
Adf Obdd ⭐ 9
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
dependent packages 1total releases 3latest release May 04, 2023most recent commit 6 months agocargo adf_bdd} Downloads
Dd ⭐ 154
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
dependent packages 15total releases 24latest release January 11, 2022most recent commit 6 months agopypi dd} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.