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 12 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
- Lattice-based integer linear programming solver☆66Updated 5 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Synthesis Format Conversion Tool☆26Updated 2 months ago
- The LTSmin model checking toolset☆60Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- SRI Sally: A model checker for infinite-state systems.☆75Updated 5 months ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- ☆60Updated 2 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆87Updated last month
- A best-first-search theorem prover implemented in Isabelle☆36Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- PC-miner tool for program chairs☆29Updated last month
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 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
- A Python script to create cactus and scatter plots based on matplotlib☆27Updated 4 years ago
- ☆40Updated 6 years ago
- Fully proved small C functions (examples for verification course).☆17Updated 8 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- Generates loop invariants for program verification☆63Updated 5 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- VATA Tree Automata Library☆34Updated last year