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
- The LTSmin model checking toolset☆57Updated 4 months ago
- A model checker based on SAT solving and induction☆13Updated 9 years 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
- Verimag Polyhedra Library☆17Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- LibPoly is a C library for manipulating polynomials☆51Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Specify and synthesize systems using symbolic algorithms☆45Updated 4 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- Generates loop invariants for program verification☆61Updated 4 years ago
- A model checker for infinite-state systems.☆71Updated 2 months ago
- ☆52Updated 2 weeks ago
- Synthesis Format Conversion Tool☆24Updated 7 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 10 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- TriCera: a model checker for C programs☆24Updated this week
- ☆27Updated 9 months ago
- Intrepyd Model Checker☆18Updated 3 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆18Updated last year
- SMTInterpol interpolating SMT solver☆63Updated last month
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago