Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: binary-decision-diagrams
SSoelvsten/cal
University of California BDD Package
Language: C - Size: 1.33 MB - Last synced: about 16 hours ago - Pushed: about 23 hours ago - Stars: 2 - Forks: 2
microsoft/DecisionDiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
Language: C# - Size: 323 KB - Last synced: 1 day ago - Pushed: 9 months ago - Stars: 48 - Forks: 17
m4lvin/HasCacBDD
λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.
Language: C++ - Size: 963 KB - Last synced: 7 days ago - Pushed: 2 months ago - Stars: 4 - Forks: 1
pubkey/binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
Language: TypeScript - Size: 298 KB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 29 - Forks: 2
tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Language: Python - Size: 2.12 MB - Last synced: 11 days ago - Pushed: 18 days ago - Stars: 168 - Forks: 40
SSoelvsten/buddy
BuDDy BDD package (with CMake support)
Language: C - Size: 804 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 5 - Forks: 1
SSoelvsten/cudd
CUDD: CU Decision Diagram package - with CMake and extended C++
Language: C - Size: 2.36 MB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 1 - Forks: 1
EfaOsk/EM-BDD-Algorithm
The EM-BDD algorithm developed for learning Hidden Markov Models (HMMs) using Binary Decision Diagrams to optimize the learning process, offering a alternative to traditional methods such as the Baum-Welch algorithm.
Language: C - Size: 267 KB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 0 - Forks: 0
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Language: Rust - Size: 2.19 MB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 25 - Forks: 2
ellmau/adf-obdd
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
Language: Rust - Size: 796 KB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 9 - Forks: 0
logsem/adiar Fork of SSoelvsten/adiar
External Memory (Binary) Decision Diagrams
Language: C++ - Size: 5.95 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
johnyf/cudd
Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
Language: C - Size: 1.97 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 3
SSoelvsten/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
Language: C++ - Size: 10.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 20 - Forks: 12
johnyf/tool_lists
Links to tools by subject
Size: 63.5 KB - Last synced: 12 days ago - Pushed: 2 months ago - Stars: 360 - Forks: 81
mvcisback/py-mdd
Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
Language: Python - Size: 238 KB - Last synced: 16 days ago - Pushed: about 3 years ago - Stars: 4 - Forks: 1
timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
Language: Rust - Size: 316 KB - Last synced: 6 days ago - Pushed: about 1 month ago - Stars: 6 - Forks: 2
rpigor/librobdd
Minimal ROBDD library implemented as part of the Verification of Digital Systems course
Language: C++ - Size: 9.11 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
SSoelvsten/cadiar 📦
Formal verification of the Adiar BDD package
Language: Isabelle - Size: 53.7 KB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
khalil-research/leo
LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams
Language: C++ - Size: 7.95 MB - Last synced: 4 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0
msakai/haskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Language: Haskell - Size: 210 KB - Last synced: 19 days ago - Pushed: 11 months ago - Stars: 13 - Forks: 4
pcerman/bdd-racket
Implementation of the Binary Decision Diagrams in Racket
Language: Racket - Size: 162 KB - Last synced: 6 months ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0
incaseoftrouble/jbdd
Efficient pure Java implementation of (Binary) Decision Diagrams
Language: Java - Size: 383 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 4 - Forks: 0
jeffreybakker/wsn
Calculating the Risk of Valve Failures when Maintaining Water Supply Networks
Language: Python - Size: 105 KB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0
luigicapogrosso/HermesBDD
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
Language: C++ - Size: 3.02 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 6 - Forks: 3
mkhaled87/cudd-ready
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
Language: C - Size: 564 KB - Last synced: 8 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
computablefacts/decima 📦
Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.
Language: Java - Size: 481 KB - Last synced: 5 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0
rebryant/pgbdd-artifact
Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BDD-based SAT Solver," TACAS 2021
Language: Python - Size: 160 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 7 - Forks: 0
friguzzi/bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
Language: C - Size: 8.47 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 9 - Forks: 2
suyjuris/obst
Online BDD Simulation Tool
Language: C++ - Size: 507 KB - Last synced: 9 months ago - Pushed: about 2 years ago - Stars: 14 - Forks: 1
roland-ewald/alesia-utils 📦
Language: Scala - Size: 3.46 MB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
scrose/chordBDD
Binary Decision Diagram Package using a Chord-Based Distributed Hash Table
Language: Scala - Size: 10.6 MB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
thtran97/Knowledge-Compilers
A Python (re-)implementation of some known knowledge compilers
Language: Python - Size: 146 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0
ivan-ristovic/BDD 📦
Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
Language: TeX - Size: 2.68 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0
zoren/NMDD
A naïve generalized bdd package in TypeScript
Language: TypeScript - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
Lipen/kotlin-bdd
🌪️ BDDs for Kotlin
Language: Kotlin - Size: 252 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
meinkognito/einstein-s_puzzle
Использование бинарных решающих диаграмм для решения логических задач
Language: C - Size: 188 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
dalzilio/rudd
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Language: Go - Size: 592 KB - Last synced: 9 months ago - Pushed: 10 months ago - Stars: 4 - Forks: 1
Mykhailo-Sichkaruk/Binary-Decision-Tree-with-reduction
Binary Decision Diagram with horizontal and vertical reduction.
Language: Java - Size: 1.35 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0
Simula-UiB/CRHS
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Language: Rust - Size: 379 KB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 1
minhnhdo/bdd
Language: Scala - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0
NekoSilverFox/EinsteinBDD
🗝 使用二元决策图(BDD)和 BuDDy 库解决二维且带有胶合的的爱因斯坦谜题
Language: C++ - Size: 37.6 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
SimonK1/Binary-Decision-Diagram
School assignment number 2 for course Data Structures and Algorithms in C - Self-written binary decision diagram for boolean functions (Creation, Reduction, Usage)
Language: C - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
diegojromerolopez/djbdd
Java BDD implementation based on hashmaps.
Language: Java - Size: 52.8 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 4 - Forks: 0
alianoroozi/PRISM-Leak
A tool for evaluating secure information flow of concurrent probabilistic programs
Language: Java - Size: 14.4 MB - Last synced: 7 months ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0
lkwbr/reachable-bdd
Multithreaded solution for determining (stepwise) reachability between two nodes within some Binary Decision Diagram (BDD).
Language: Python - Size: 175 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
umangm/mopedqleak
MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
Language: C - Size: 1.31 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0
netkat-lang/idds
Identity suppressed decision diagrams (IDDs)
Language: OCaml - Size: 118 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 1
MaorAssayag/Functional-Programming-in-Concurrent-and-Distributed-Systems
Functional Programming in Concurrent and Distributed Systems couse in Erlang
Language: Erlang - Size: 10.3 MB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
singular1ty94/react-decisiontree
An decision tree implemented in React
Language: TypeScript - Size: 5.06 MB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0
binghe/cl-cudd3 Fork of rpgoldman/CL-CUDD
Common lisp bindings to CUDD 3.0.0
Language: Common Lisp - Size: 63.5 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
hriener/metaSMT-toolbox-smt2eval
metaSMT-Based SMT-LIB2 Consistency Checker
Language: C++ - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1