soarlab / gelpiaLinks
Rigorous Global Branch-and-Bound Optimizer
☆24Updated 5 months ago
Alternatives and similar repositories for gelpia
Users that are interested in gelpia are comparing it to the libraries listed below
Sorting:
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Verimag Polyhedra Library☆18Updated last month
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 8 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 7 months ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Coq library for serialization to S-expressions☆19Updated last year
- ☆22Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- Verifying encodings into propositional logic in Lean☆12Updated last year
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- ☆17Updated 11 months ago
- ☆16Updated last year
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Monadic Constraint Programming framework☆28Updated 7 years ago
- ☆28Updated 2 months ago
- Unified Maude model-checking tool☆11Updated 5 months ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆24Updated 2 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 4 months ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- egraph <-> json☆14Updated 8 months ago
- ☆31Updated 11 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago