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
- Specify and synthesize systems using symbolic algorithms☆51Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- The LTSmin model checking toolset☆60Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Synthesis Format Conversion Tool☆26Updated 3 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 2 months ago
- VATA Tree Automata Library☆33Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆54Updated 5 years ago
- Generates loop invariants for program verification☆63Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- ☆60Updated 3 weeks ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 4 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- Lattice-based integer linear programming solver☆66Updated 4 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- KITTeL/KoAT☆21Updated 6 years 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
- Verimag Polyhedra Library☆18Updated 8 months 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 research platform and active library for generalised SAT solving☆33Updated 6 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- Intrepyd Model Checker☆18Updated 4 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- SRI LibPoly is a C library for manipulating polynomials☆52Updated last week
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 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
- GoNative project: formal machines models in Coq☆36Updated 8 years ago