tyler-utah / PBDD
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
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- The LTSmin model checking toolset☆57Updated 5 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- KITTeL/KoAT☆21Updated 6 years ago
- ☆52Updated 2 weeks ago
- A research platform and active library for generalised SAT solving☆33Updated this week
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 5 months ago
- A model checker for infinite-state systems.☆74Updated 3 months ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- EPMC: An Extendible Probabilistic Model Checker☆17Updated 2 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Synthesis Format Conversion Tool☆24Updated 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…☆9Updated 9 years ago
- LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 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 3 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- TriCera: a model checker for C programs☆24Updated last week
- Generates loop invariants for program verification☆62Updated 4 years ago
- A model checker based on SAT solving and induction☆13Updated 10 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- ☆17Updated last year