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 3 years ago
- The LTSmin model checking toolset☆60Updated 7 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
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- Intrepyd Model Checker☆18Updated 3 years ago
- ☆55Updated 2 weeks ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- Synthesis Format Conversion Tool☆24Updated last month
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated this week
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated this week
- VATA Tree Automata Library☆32Updated 10 months ago
- Verimag Polyhedra Library☆18Updated 2 months 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
- PC-miner tool for program chairs☆27Updated 3 months ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- ☆18Updated 2 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 10 months ago
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 3 months ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago