Alternatives and similar repositories for pgsolver

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

• eprover / eprover
  ☆144Updated last month
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆32Updated 8 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆146Updated 9 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• rfindler / 395-2013
  ☆14Updated 6 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• INRIA / velus
  A Lustre compiler in Coq
  ☆70Updated last month
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆45Updated last month
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 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
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆21Updated 2 weeks ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 4 years ago
• rocq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 2 weeks ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 11 months ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• data61 / PSL
  ☆70Updated 2 months ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 4 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆35Updated 2 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
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 4 years ago