tyler-utah / PBDDLinks
A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php
☆14Updated 11 years ago
Alternatives and similar repositories for PBDD
Users that are interested in PBDD are comparing it to the libraries listed below
Sorting:
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- The LTSmin model checking toolset☆60Updated last year
- Lattice-based integer linear programming solver☆66Updated 3 months ago
- Specify and synthesize systems using symbolic algorithms☆51Updated last year
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago
- ☆58Updated last week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- Verimag Polyhedra Library☆18Updated 7 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated last month
- VATA Tree Automata Library☆33Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Synthesis Format Conversion Tool☆26Updated last week
- ☆30Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated 2 years ago
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- A research platform and active library for generalised SAT solving☆33Updated 5 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆85Updated 4 months ago
- SAT Solver SATCH☆120Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- ☆41Updated 6 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 10 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 10 months ago
- SRI LibPoly is a C library for manipulating polynomials☆52Updated 2 weeks ago
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated last month
- ☆19Updated 2 years ago
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 years ago