tcsprojects / pgsolverLinks
A collection of tools for generating, manipulating and - most of all - solving parity games.
☆36Updated last month
Alternatives and similar repositories for pgsolver
Users that are interested in pgsolver are comparing it to the libraries listed below
Sorting:
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- A best-first-search theorem prover implemented in Isabelle☆36Updated 3 years ago
- ☆15Updated 6 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated 4 months ago
- αProlog☆18Updated 2 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- ☆162Updated last month
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Updated 4 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Updated 4 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- Relation algebra library for Coq☆49Updated last month
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- A modular sat/smt solver with proof output.☆101Updated 2 years ago
- Model finder for higher-order logic☆50Updated last month
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45Updated 9 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Updated 8 months ago
- ☆73Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated 11 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Algebraic Combinatorics in Coq☆39Updated 3 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- ☆56Updated 8 months ago
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 4 months ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 7 years ago