Alternatives and similar repositories for gelpia

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

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 4 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 9 months ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆25Updated last month
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 4 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆15Updated 8 months ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 9 months ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆25Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 5 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆49Updated last year
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆25Updated 5 months ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆81Updated last week
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated 2 years ago
• kovach / etch
  ☆17Updated last year
• cs-lean / cslib
  A Lean library for Computer Science
  ☆32Updated this week
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago