soarlab / gelpia

Related projects: ⓘ

• riswords / quiche
  ☆21Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆47Updated 2 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆12Updated last week
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 7 months ago
• motib / LearnSAT
  SAT solver for education
  ☆25Updated last year
• opencompl / egg-tactic-code
  ☆13Updated last year
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆17Updated 11 months ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆15Updated 6 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆59Updated 8 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆39Updated 11 months ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆49Updated last month
• dafny-lang / Dafny-VMC
  VMC: a Library for Verified Monte Carlo Algorithms
  ☆12Updated last month
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆13Updated 6 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆33Updated last year
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆17Updated 4 years ago
• Udopia / candy-kingdom
  ☆11Updated this week
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆21Updated 2 months ago
• nfzhou / lp-contest
  ☆9Updated last year
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆16Updated 3 years ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 3 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆47Updated 4 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated 11 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆31Updated last year
• yihozhang / relational-ematching-benchmark
  ☆13Updated 2 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 2 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago