Alternatives and similar repositories for pgsolver

Users that are interested in pgsolver are comparing it to the libraries listed below

• eprover / eprover
  ☆152Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 3 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆14Updated 7 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆149Updated 10 months ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated last year
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆32Updated 10 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• tyler-utah / PBDD
  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
• Gbury / archsat
  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
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆47Updated 2 weeks ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆38Updated 2 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆36Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated last month
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆62Updated 9 months ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆25Updated 7 months ago
• tip-org / tools
  ☆22Updated 6 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 10 months ago
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆49Updated 5 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 2 months ago
• data61 / PSL
  ☆72Updated 3 months ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆45Updated 4 months ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• disteph / cdsat
  ☆10Updated 5 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago