tcsprojects / pgsolverLinks
A collection of tools for generating, manipulating and - most of all - solving parity games.
☆35Updated last year
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.☆70Updated 2 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆151Updated 11 months ago
- A best-first-search theorem prover implemented in Isabelle☆34Updated 3 years ago
- ☆153Updated 2 weeks ago
- Model finder for higher-order logic☆47Updated this week
- Constraint solver based on abstract domains☆32Updated 10 months ago
- A modular sat/smt solver with proof output.☆101Updated last year
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated last week
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated 7 months ago
- ☆72Updated 4 months ago
- ☆14Updated 6 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- αProlog☆18Updated 2 years ago
- Algebraic Combinatorics in Coq☆39Updated 8 months ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 7 years ago
- The Termination Problem Database☆30Updated last month
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 years ago
- DOrder -- Automatically Learning Shape Specifications☆20Updated 8 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆43Updated this week
- A Lustre compiler in Coq☆71Updated 3 months ago
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆50Updated this week
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆67Updated 4 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 2 weeks ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 4 years ago
- Relation algebra library for Coq☆49Updated this week