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
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- ☆60Updated last month
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆86Updated last month
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated 3 weeks ago
- Verimag Polyhedra Library☆18Updated 8 months ago
- VATA Tree Automata Library☆34Updated last year
- Lattice-based integer linear programming solver☆66Updated 4 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 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 4 years ago
- Synthesis Format Conversion Tool☆26Updated last month
- SRI Sally: A model checker for infinite-state systems.☆75Updated 5 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- AE-solver and Skolemizer☆17Updated last year
- Intrepyd Model Checker☆18Updated 4 years ago
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- KITTeL/KoAT☆21Updated 7 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- PC-miner tool for program chairs☆29Updated 2 weeks ago
- A research platform and active library for generalised SAT solving☆33Updated 6 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 2 months ago
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 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