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 10 months ago
- Synthesis Format Conversion Tool☆26Updated last week
- SRI Sally: A model checker for infinite-state systems.☆73Updated last month
- Lattice-based integer linear programming solver☆65Updated last month
- Specify and synthesize systems using symbolic algorithms☆50Updated 10 months ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated 2 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆52Updated 5 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- ☆40Updated 6 years ago
- Verimag Polyhedra Library☆18Updated 5 months ago
- ☆57Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 11 months ago
- A research platform and active library for generalised SAT solving☆33Updated 3 months ago
- The Termination Problem Database☆30Updated last month
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- An automated deductive program verifier.☆42Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆23Updated 2 years ago
- ☆153Updated 2 weeks ago
- VATA Tree Automata Library☆32Updated last year
- ☆18Updated 2 years ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- 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
- ☆19Updated 2 years ago
- A best-first-search theorem prover implemented in Isabelle☆34Updated 3 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago