leoneifler / exact-SCIP
A development version of the numerically exact variant of MIP solver SCIP
☆12Updated last year
Alternatives and similar repositories for exact-SCIP:
Users that are interested in exact-SCIP are comparing it to the libraries listed below
- Parallel Presolve for Integer and Linear Optimization☆70Updated last week
- Parallel Presolve for Integer and Linear Optimization☆40Updated 3 years ago
- Open Solver Interface☆56Updated 2 months ago
- Sequential object-oriented simPlex☆63Updated 2 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- Convex Over and Under Envelopes for Nonlinear Estimation☆75Updated 10 months ago
- Mathematical Modeling for Optimization and Machine Learning☆150Updated 5 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆45Updated last year
- mixed integer semidefinite programming plugin for SCIP☆14Updated 6 months ago
- ☆12Updated 3 years ago
- Cone program refinement☆10Updated 4 years ago
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Updated 3 years ago
- Maros and Meszaros Convex QP test problems in MAT format☆12Updated 10 years ago
- A solver for mixed-integer nonlinear optimization problems☆119Updated this week
- Julia implementation of a revised simplex method for cpu and gpu☆14Updated 4 years ago
- Julia interface for COPT (Cardinal Optimizer)☆38Updated last week
- ☆14Updated 7 years ago
- Trust Region Subproblem Solver Library☆19Updated 7 months ago
- Experimental first-order solvers for linear and quadratic programming.☆109Updated last year
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆48Updated 2 weeks ago
- interior point solver for general convex conic optimization problems☆143Updated last month
- A Julia interface for the SCS conic programming solver☆82Updated last week
- Parallel solvers for optimization problems☆75Updated 3 years ago
- Minotaur Toolkit for Mixed-Integer Nonlinear Optimization☆75Updated this week
- Library for chordal matrix computations☆23Updated 6 years ago
- Combinatorial Matrix Recognition☆9Updated 2 weeks ago
- ☆65Updated 2 weeks ago
- Visualizations of Mittelmann benchmarks☆57Updated 5 months ago
- Read and write a variety of mathematical optimization file formats☆33Updated 5 years ago
- ☆19Updated last year