leoneifler / exact-SCIP
A development version of the numerically exact variant of MIP solver SCIP
☆12Updated 2 years ago
Alternatives and similar repositories for exact-SCIP
Users that are interested in exact-SCIP are comparing it to the libraries listed below
Sorting:
- Parallel Presolve for Integer and Linear Optimization☆71Updated last week
- Parallel Presolve for Integer and Linear Optimization☆40Updated 3 years ago
- ☆12Updated 3 years ago
- mixed integer semidefinite programming plugin for SCIP☆14Updated 9 months ago
- ☆15Updated 7 years ago
- Experimental first-order solvers for linear and quadratic programming.☆116Updated last year
- An open-source parallel optimization solver for structured mixed-integer programming☆84Updated last year
- Minotaur Toolkit for Mixed-Integer Nonlinear Optimization☆78Updated last month
- Read and write a variety of mathematical optimization file formats☆33Updated 5 years ago
- Sequential object-oriented simPlex☆64Updated 3 weeks ago
- A standalone local search solver for general mixed integer programming☆21Updated 2 months ago
- Julia interface for COPT (Cardinal Optimizer)☆37Updated 3 weeks ago
- Parallel solvers for optimization problems☆77Updated 4 years ago
- ☆11Updated 5 years ago
- ☆18Updated last year
- Mathematical Modeling for Optimization and Machine Learning☆151Updated 7 months ago
- Special Structure Detection for Pyomo☆27Updated 2 years ago
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Updated 3 years ago
- Open Solver Interface☆57Updated 5 months ago
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆200Updated this week
- interior point solver for general convex conic optimization problems☆145Updated last month
- Visualizations of Mittelmann benchmarks☆58Updated 7 months ago
- A Latex library for optimization problems☆61Updated 4 years ago
- Semidefinite programming optimization solver☆95Updated 11 months ago
- Differentiating convex optimization programs w.r.t. program parameters☆129Updated 3 weeks ago
- Trust Region Subproblem Solver Library☆19Updated 9 months ago
- A Julia interface to AMPL-enabled solvers☆75Updated 2 months ago
- Julia interface to SCIP solver☆102Updated this week
- Maros and Meszaros Convex QP test problems in MAT format☆13Updated 11 years ago
- JuMP-based toolbox for solving bilevel optimization problems☆48Updated 4 years ago