ssoelvsten/adiar

An I/O-efficient implementation of (Binary) Decision Diagrams

Language: C++ - Size: 13.1 MB - Last synced at: about 11 hours ago - Pushed at: about 11 hours ago - Stars: 29 - Forks: 14

OxiDD/oxidd

Concurrent decision diagram framework written in Rust

Language: Rust - Size: 3.02 MB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 61 - Forks: 9

pubkey/binary-decision-diagram

A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram

Language: TypeScript - Size: 386 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 34 - Forks: 2

microsoft/DecisionDiagrams

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

Language: C# - Size: 323 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 55 - Forks: 20

johnyf/tool_lists

Links to tools by subject

Size: 63.5 KB - Last synced at: 10 days ago - Pushed at: about 1 year ago - Stars: 375 - Forks: 83

ellmau/adf-obdd

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

Language: Rust - Size: 864 KB - Last synced at: 8 days ago - Pushed at: 13 days ago - Stars: 8 - Forks: 0

markus7800/Connect4-Strong-Solver

C implementation to symbolically solve Connect4 game for given board size with binary decision diagrams.

Language: C - Size: 2.26 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

tulip-control/dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

Language: Python - Size: 1.37 MB - Last synced at: 26 days ago - Pushed at: 2 months ago - Stars: 198 - Forks: 40

SSoelvsten/cal

University of California BDD Package

Language: C - Size: 1.64 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 2

timbeurskens/rsbdd

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

Language: Rust - Size: 341 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 2

luigicapogrosso/Binary-Decision-Diagrams

Slides on Binary Decision Diagrams (BDDs) covering their basics, advanced techniques, and applications in digital system design and beyond.

Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

netkat-lang/idds

Identity suppressed decision diagrams (IDDs)

Language: OCaml - Size: 118 KB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

m4lvin/HasCacBDD

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

Language: C++ - Size: 963 KB - Last synced at: about 8 hours ago - Pushed at: 5 months ago - Stars: 4 - Forks: 2

suyjuris/obst

Online BDD Simulation Tool

Language: C++ - Size: 507 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 18 - Forks: 1

hriener/metaSMT-toolbox-smt2eval

metaSMT-Based SMT-LIB2 Consistency Checker

Language: C++ - Size: 10.7 KB - Last synced at: 16 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1

diegojromerolopez/djbdd

Java BDD implementation based on hashmaps.

Language: Java - Size: 52.8 MB - Last synced at: 26 days ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 0

rpigor/librobdd

Minimal ROBDD library

Language: C++ - Size: 9.11 MB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 2 - 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 at: 7 months ago - Pushed at: 7 months ago - Stars: 6 - Forks: 3

Lipen/bdd-rs

🌵 Binary Decision Diagrams for Rust

Language: Rust - Size: 271 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

msakai/haskell-decision-diagrams

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

Language: Haskell - Size: 213 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 13 - Forks: 6

mihaigabriel18/SAT_SOLVER

2 algorithm implementations for a SAT problem solver (FNC form solver, and BDD (Binary Decision Diagram))

Language: Python - Size: 15.3 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

dalzilio/rudd

Rudd is a Binary Decision Diagram (BDD) library written in pure Go.

Language: Go - Size: 592 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 9 - Forks: 1

logsem/adiar Fork of SSoelvsten/adiar

External Memory (Binary) Decision Diagrams

Language: C++ - Size: 6.51 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

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: 275 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

mvcisback/py-mdd

Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.

Language: Python - Size: 238 KB - Last synced at: 12 days ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 2

incaseoftrouble/jbdd

Efficient pure Java implementation of (Binary) Decision Diagrams

Language: Java - Size: 403 KB - Last synced at: 14 days ago - Pushed at: 12 months ago - Stars: 6 - Forks: 1

Lipen/kotlin-bdd

🌪️ Binary Decision Diagrams for Kotlin

Language: Kotlin - Size: 301 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

SSoelvsten/cudd

CUDD: CU Decision Diagram package - with CMake and extended C++

Language: C - Size: 2.37 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

beloshitskiy/einstein-s_puzzle

Использование бинарных решающих диаграмм для решения логических задач

Language: C - Size: 188 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

SSoelvsten/buddy

BuDDy BDD package (with CMake support)

Language: C - Size: 804 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

SSoelvsten/cadiar 📦

Formal verification of the Adiar BDD package

Language: Isabelle - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

pcerman/bdd-racket

Implementation of the Binary Decision Diagrams in Racket

Language: Racket - Size: 162 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

jeffreybakker/wsn

Calculating the Risk of Valve Failures when Maintaining Water Supply Networks

Language: Python - Size: 105 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

mkhaled87/cudd-ready

A static-library version of the famous CUDD (Colorado University Decision Diagram) library.

Language: C - Size: 564 KB - Last synced at: over 1 year ago - Pushed at: over 5 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 at: over 1 year ago - Pushed at: over 2 years 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 at: almost 2 years ago - Pushed at: over 4 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 2

roland-ewald/alesia-utils 📦

Language: Scala - Size: 3.46 MB - Last synced at: almost 2 years ago - Pushed at: about 5 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 at: almost 2 years ago - Pushed at: almost 4 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 at: over 2 years ago - Pushed at: almost 4 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 at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

zoren/NMDD

A naïve generalized bdd package in TypeScript

Language: TypeScript - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: over 2 years 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 at: 3 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 4

Mykhailo-Sichkaruk/Binary-Decision-Tree-with-reduction

Binary Decision Diagram with horizontal and vertical reduction.

Language: Java - Size: 1.35 MB - Last synced at: 12 months ago - Pushed at: 12 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 at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

minhnhdo/bdd

Language: Scala - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

NekoSilverFox/EinsteinBDD

🗝 使用二元决策图（BDD）和 BuDDy 库解决二维且带有胶合的的爱因斯坦谜题

Language: C++ - Size: 37.6 MB - Last synced at: 11 months ago - Pushed at: over 3 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 at: 11 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

alianoroozi/PRISM-Leak

A tool for evaluating secure information flow of concurrent probabilistic programs

Language: Java - Size: 14.4 MB - Last synced at: over 1 year ago - Pushed at: almost 4 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 at: over 2 years ago - Pushed at: about 8 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 at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

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 at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

singular1ty94/react-decisiontree

An decision tree implemented in React

Language: TypeScript - Size: 5.06 MB - Last synced at: 27 days ago - Pushed at: about 7 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 at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0