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☆40Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆68Updated this week
- mixed integer semidefinite programming plugin for SCIP☆12Updated 5 months ago
- Sequential object-oriented simPlex☆63Updated this week
- A Julia interface for the SCS conic programming solver☆82Updated 3 weeks ago
- A Julia interface to AMPL-enabled solvers☆68Updated 3 weeks ago
- Read and write a variety of mathematical optimization file formats☆33Updated 4 years ago
- ☆19Updated last year
- ☆18Updated last year
- Combinatorial Matrix Recognition☆9Updated this week
- Julia implementation of a revised simplex method for cpu and gpu☆14Updated 4 years ago
- interior point solver for general convex conic optimization problems☆142Updated 3 weeks ago
- ☆12Updated 3 years ago
- Parallel solvers for optimization problems☆74Updated 3 years ago
- Experimental first-order solvers for linear and quadratic programming.☆109Updated last year
- Julia interface for COPT (Cardinal Optimizer)☆38Updated 2 months ago
- A gradient-based outer approximation solver for convex mixed-integer nonlinear programming (MINLP)☆62Updated 3 weeks ago
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Updated 3 years ago
- Convex Over and Under Envelopes for Nonlinear Estimation☆75Updated 8 months ago
- Julia interface to CVXOPT☆12Updated 4 years ago
- Code for "Automatic repair of convex optimization problems".☆14Updated 4 years ago
- Interface to the Mosek solver in Julia☆51Updated last month
- Semidefinite programming optimization solver☆93Updated 7 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 5 months ago
- An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.☆57Updated last week
- A Julia interface to the SDPNAL+ solver☆11Updated last year
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Updated 3 months ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆97Updated this week
- ☆63Updated 2 months ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆45Updated this week