leoneifler / exact-SCIP
A development version of the numerically exact variant of MIP solver SCIP
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for exact-SCIP
- Parallel Presolve for Integer and Linear Optimization☆64Updated this week
- ☆12Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆39Updated 3 years ago
- Sequential object-oriented simPlex☆61Updated last week
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆40Updated 2 weeks ago
- mixed integer semidefinite programming plugin for SCIP☆11Updated 3 months ago
- Julia implementation of a revised simplex method for cpu and gpu☆13Updated 4 years ago
- ☆11Updated 5 years ago
- ☆17Updated last year
- Read and write a variety of mathematical optimization file formats☆33Updated 4 years ago
- Cone program refinement☆9Updated 4 years ago
- Semidefinite programming optimization solver☆92Updated 5 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 5 months ago
- Julia interface for OSQP: The Operator Splitting QP Solver☆68Updated 5 months ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆95Updated this week
- ☆74Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- Experimental first-order solvers for linear and quadratic programming.☆104Updated last year
- A Julia interface for the SCS conic programming solver☆82Updated 4 months ago
- interior point solver for general convex conic optimization problems☆141Updated 4 months ago
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 3 years ago
- Julia interface to SCIP solver☆98Updated last month
- Interior-point solver in pure Julia☆153Updated 5 months ago
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆175Updated 2 weeks ago
- Parallel solvers for optimization problems☆73Updated 3 years ago
- A Julia interface to AMPL-enabled solvers☆68Updated 2 weeks ago
- An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.☆55Updated last week
- Sum of Squares Programming for Julia☆118Updated last week
- ☆19Updated 10 months ago
- Solve the travelling salesman problem using a mixed integer optimization algorithm with JuMP☆43Updated 8 months ago