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☆49Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 8 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- The LTSmin model checking toolset☆60Updated 8 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆35Updated 2 years ago
- ☆55Updated last month
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated 2 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 9 months ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Verimag Polyhedra Library☆18Updated 3 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 3 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Synthesis Format Conversion Tool☆24Updated 2 months ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 6 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- TriCera: a model checker for C programs☆25Updated last week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated this week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆82Updated last week
- 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☆24Updated 4 years ago
- ☆40Updated 6 years ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆57Updated 2 weeks 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