leoneifler / exact-SCIP
A development version of the numerically exact variant of MIP solver SCIP
☆12Updated last year
Related projects: ⓘ
- Parallel Presolve for Integer and Linear Optimization☆62Updated this week
- ☆12Updated 2 years ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆38Updated this week
- ☆14Updated 7 years ago
- Parallel Presolve for Integer and Linear Optimization☆38Updated 3 years ago
- Julia implementation of a revised simplex method for cpu and gpu☆13Updated 3 years ago
- ☆16Updated last year
- Maros and Meszaros Convex QP test problems in MAT format☆10Updated 10 years ago
- Experimental first-order solvers for linear and quadratic programming.☆97Updated 10 months ago
- Semidefinite programming optimization solver☆93Updated 3 months ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆92Updated last week
- Sequential object-oriented simPlex☆59Updated last week
- ☆17Updated last month
- ☆19Updated 8 months ago
- Generators for linear programming instances with controllable difficulty and solution properties.☆15Updated 3 years ago
- Read and write a variety of mathematical optimization file formats☆33Updated 4 years ago
- Cone program refinement☆9Updated 4 years ago
- ☆38Updated 4 months ago
- interior point solver for general convex conic optimization problems☆140Updated 2 months ago
- Information page for running sos solvers☆13Updated 2 years ago
- An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.☆49Updated 2 weeks ago
- Library for chordal matrix computations☆23Updated 6 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆76Updated 4 months ago
- JuMP-based toolbox for solving bilevel optimization problems☆48Updated 4 years ago
- Structured optimization in Julia☆72Updated last year
- Differentiating convex optimization programs w.r.t. program parameters☆122Updated last month
- Julia interface for COPT (Cardinal Optimizer)☆36Updated 2 weeks ago
- Special Structure Detection for Pyomo☆27Updated 2 years ago
- A Julia interface to AMPL-enabled solvers☆65Updated this week
- Open Solver Interface☆53Updated last month