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
- Synthesis Format Conversion Tool☆25Updated 4 months ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 10 months ago
- Lattice-based integer linear programming solver☆65Updated 3 weeks ago
- The LTSmin model checking toolset☆59Updated 10 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 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
- ☆57Updated last month
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- VATA Tree Automata Library☆32Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- ☆17Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated last month
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated 2 months ago
- Verimag Polyhedra Library☆18Updated 4 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 5 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 4 months ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated last month
- A research platform and active library for generalised SAT solving☆32Updated 2 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆23Updated last year
- AE-solver and Skolemizer☆17Updated 8 months ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- The Termination Problem Database☆30Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago