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
- Synthesis Format Conversion Tool☆25Updated 3 months ago
- The LTSmin model checking toolset☆60Updated 9 months ago
- Verimag Polyhedra Library☆18Updated 4 months ago
- ☆55Updated 3 weeks ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated last week
- Lattice-based integer linear programming solver☆65Updated 4 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- Specify and synthesize systems using symbolic algorithms☆50Updated 9 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- SMTInterpol interpolating SMT solver☆67Updated last month
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 8 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- VATA Tree Automata Library☆32Updated 11 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- ☆13Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- A best-first-search theorem prover implemented in Isabelle☆34Updated 3 years ago
- ☆40Updated 6 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last month
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 4 months ago