GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
robddHere are 19 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
rust tree-sitter static-analysis program-analysis robdd uml-generator compiler-theory code-property-graph succinct-data-structures
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
All-in-one proposition to ROBDD constructor, featured by LALR parsing
Rust powered engine for solving Boolean satisfiability problems
Implementation of ROBDD in python
A binary decision diagram is a directed acyclic graph used to represent a Boolean function. The ROBDD is a canonical form, which means that given an identical ordering of input variables, equivalent Boolean functions will always reduce to the same ROBDD.
Minimal ROBDD library
Ce TP implémente la manipulation et la construction de ROBDD, ainsi qu’une application pour résoudre le problème des N reines.
LiBDD is a multi-platform Binary Decision Diagrams package.
Implementation of the Binary Decision Diagrams in Racket
Assignment 3, Digital Logic Design Lab, Spring 2021, IIT Bombay
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
first-order-logic sat-solver propositional-logic natural-deduction robdd hilbert-axioms resolution-proof proof-system analytic-tableaux
Designing Equivalence Checker based on ROBDD algorithm, the engine input will be 2 boolean functions and results will be ROBDD graphs with equivalence or non-equivalence results.
parser-combinators graph-algorithms eda recursion synthesis boolean-expression robdd equivalence-checker
Reduced ordered binary decision diagrams (ROBDDs) with a hash-consing manager, in pure Standard ML (MLton + Poly/ML)
Reduced Ordered Binary Decision Diagram (ROBDD) engine with Shannon expansion and canonical ITE synthesis
mcp bdd formal-verification robdd python-standard-library boolean-logic binary-decision-diagram agent-skills circuit-synthesis shannon-expansion canonical-representation
Assignment 4, Digital Logic Design Lab, Spring 2021, IIT Bombay
A C++ Reduced Ordered Binary Decision Diagram (ROBDD) package utilizing custom hash tables and computed caches for high-performance boolean logic manipulation. Includes a Symbolic Traversal engine to verify state reachability in Finite State Machines (FSM).
Add this topic to your repoTo associate your repository with the robdd topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |