Topic: binary-decision-diagrams Goto Github
Some thing interesting about binary-decision-diagrams
Some thing interesting about binary-decision-diagrams
binary-decision-diagrams,A tool for evaluating secure information flow of concurrent probabilistic programs
User: alianoroozi
binary-decision-diagrams,Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.
Organization: computablefacts
binary-decision-diagrams,Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
User: dalzilio
binary-decision-diagrams,Java BDD implementation based on hashmaps.
User: diegojromerolopez
binary-decision-diagrams,Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
User: ellmau
Home Page: https://ellmau.github.io/adf-obdd/
binary-decision-diagrams,bddem is a SWI-Prolog pack for using Binary Decision Diagrams
User: friguzzi
binary-decision-diagrams,metaSMT-Based SMT-LIB2 Consistency Checker
User: hriener
binary-decision-diagrams,Efficient pure Java implementation of (Binary) Decision Diagrams
User: incaseoftrouble
binary-decision-diagrams,Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
User: ivan-ristovic
binary-decision-diagrams,Calculating the Risk of Valve Failures when Maintaining Water Supply Networks
User: jeffreybakker
Home Page: http://essay.utwente.nl/87350/
binary-decision-diagrams,Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>
User: johnyf
Home Page: http://vlsi.colorado.edu/~fabio/
binary-decision-diagrams,Links to tools by subject
User: johnyf
binary-decision-diagrams,LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams
Organization: khalil-research
binary-decision-diagrams,🌪️ Binary Decision Diagrams for Kotlin
User: lipen
binary-decision-diagrams,Multithreaded solution for determining (stepwise) reachability between two nodes within some Binary Decision Diagram (BDD).
User: lkwbr
binary-decision-diagrams,Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
User: luigicapogrosso
Home Page: https://luigicapogrosso.github.io/HermesBDD/
binary-decision-diagrams,λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.
User: m4lvin
Home Page: https://hackage.haskell.org/package/HasCacBDD
binary-decision-diagrams,Functional Programming in Concurrent and Distributed Systems couse in Erlang
User: maorassayag
binary-decision-diagrams,Использование бинарных решающих диаграмм для решения логических задач
User: meinkognito
binary-decision-diagrams,A performant and ergonomic implementation of binary decision diagrams for .NET
Organization: microsoft
binary-decision-diagrams,2 algorithm implementations for a SAT problem solver (FNC form solver, and BDD (Binary Decision Diagram))
User: mihaigabriel18
binary-decision-diagrams,A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
User: mkhaled87
binary-decision-diagrams,Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
User: msakai
Home Page: https://hackage.haskell.org/package/decision-diagrams
binary-decision-diagrams,Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
User: mvcisback
Home Page: https://mjvc.me/py-mdd
binary-decision-diagrams,Binary Decision Diagram with horizontal and vertical reduction.
User: mykhailo-sichkaruk
binary-decision-diagrams,🗝 使用二元决策图(BDD)和 BuDDy 库解决二维且带有胶合的的爱因斯坦谜题
User: nekosilverfox
binary-decision-diagrams,Identity suppressed decision diagrams (IDDs)
Organization: netkat-lang
Home Page: https://netkat-lang.github.io/idds/
binary-decision-diagrams,Concurrent decision diagram framework written in Rust
Organization: oxidd
binary-decision-diagrams,Implementation of the Binary Decision Diagrams in Racket
User: pcerman
binary-decision-diagrams,A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
User: pubkey
binary-decision-diagrams,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
User: rebryant
Home Page: https://www.cs.cmu.edu/~mheule/publications/tacas21-BDD.pdf
binary-decision-diagrams,Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
User: rohankalbag
binary-decision-diagrams,
User: roland-ewald
binary-decision-diagrams,Minimal ROBDD library implemented as part of the Verification of Digital Systems course
User: rpigor
binary-decision-diagrams,Binary Decision Diagram Package using a Chord-Based Distributed Hash Table
User: scrose
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)
User: simonk1
binary-decision-diagrams,Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Organization: simula-uib
binary-decision-diagrams,An decision tree implemented in React
User: singular1ty94
binary-decision-diagrams,An I/O-efficient implementation of (Binary) Decision Diagrams
User: ssoelvsten
Home Page: https://ssoelvsten.github.io/adiar/
binary-decision-diagrams,BuDDy BDD package (with CMake support)
User: ssoelvsten
binary-decision-diagrams,Formal verification of the Adiar BDD package
User: ssoelvsten
Home Page: https://github.com/ssoelvsten/adiar
binary-decision-diagrams,University of California BDD Package
User: ssoelvsten
Home Page: https://ssoelvsten.github.io/cal/
binary-decision-diagrams,CUDD: CU Decision Diagram package - with CMake
User: ssoelvsten
binary-decision-diagrams,Online BDD Simulation Tool
User: suyjuris
binary-decision-diagrams,A Python (re-)implementation of some known knowledge compilers
User: thtran97
binary-decision-diagrams,A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
User: timbeurskens
binary-decision-diagrams,Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
Organization: tulip-control
Home Page: https://pypi.org/project/dd
binary-decision-diagrams,MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
User: umangm
binary-decision-diagrams,A naïve generalized bdd package in TypeScript
User: zoren
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.