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
- A Python API for the MiniSat and MiniCard constraint solvers.☆21Updated last year
- The LTSmin model checking toolset☆60Updated 7 months ago
- Synthesis Format Conversion Tool☆24Updated last month
- A research platform and active library for generalised SAT solving☆33Updated this week
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- ☆53Updated last week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- 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 9 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 4 months ago
- Cube-and-Conquer SAT solver☆34Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆29Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- 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☆51Updated 5 years ago
- LibPoly is a C library for manipulating polynomials☆50Updated last month
- ☆28Updated 2 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆57Updated 10 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆29Updated 8 months ago
- Verimag Polyhedra Library☆18Updated last month
- A model checker for infinite-state systems.☆74Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- VATA Tree Automata Library☆32Updated 9 months ago