A naïve generalized bdd package in TypeScript
-
Updated
Jan 3, 2023 - TypeScript
A naïve generalized bdd package in TypeScript
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
Multithreaded solution for determining (stepwise) reachability between two nodes within some Binary Decision Diagram (BDD).
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.
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
A tool for evaluating secure information flow of concurrent probabilistic programs
🗝 使用二元决策图(BDD)和 BuDDy 库解决二维且带有胶合的的爱因斯坦谜题
Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
Functional Programming in Concurrent and Distributed Systems couse in Erlang
Calculating the Risk of Valve Failures when Maintaining Water Supply Networks
Formal verification of the Adiar BDD package
🌪️ Binary Decision Diagrams for Kotlin
Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.
A Python (re-)implementation of some known knowledge compilers
Efficient pure Java implementation of (Binary) Decision Diagrams
λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.
External Memory (Binary) Decision Diagrams
School assignment number 2 for course Data Structures and Algorithms in C - Self-written binary decision diagram for boolean functions (Creation, Reduction, Usage)
Add a description, image, and links to the binary-decision-diagrams topic page so that developers can more easily learn about it.
To associate your repository with the binary-decision-diagrams topic, visit your repo's landing page and select "manage topics."