tyler-utah / PBL
A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
☆9Updated 9 years ago
Alternatives and similar repositories for PBL:
Users that are interested in PBL are comparing it to the libraries listed below
- Specify and synthesize systems using symbolic algorithms☆48Updated 6 months ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 8 months ago
- VATA Tree Automata Library☆32Updated 8 months ago
- ☆40Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Kodkod solver for relational logic☆74Updated last year
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- An automated deductive program verifier.☆42Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Synthesis Format Conversion Tool☆24Updated last week
- The DRAT-trim proof checker☆59Updated 5 months ago
- The LTSmin model checking toolset☆60Updated 6 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- PC-miner tool for program chairs☆27Updated last month
- A model checker for infinite-state systems.☆75Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- The Termination Problem Database☆29Updated 3 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆24Updated last week
- ☆52Updated last week
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- SAT Solver SATCH☆118Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated 2 weeks ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago