JuliaPolyhedra / CDDLib.jl
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
☆36Updated 2 months ago
Related projects: ⓘ
- Set Programming with JuMP☆20Updated last month
- A Julia interface to the Coin-OR solver CSDP☆21Updated 8 months ago
- Distances to sets for MathOptInterface☆24Updated 7 months ago
- A Julia modeling layer for the Generalized Moment Problem☆12Updated 6 months ago
- A JuMP extension for Polynomial Optimization☆41Updated 2 months ago
- Interface to the Mosek solver in Julia☆49Updated 3 months ago
- ☆24Updated 2 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆25Updated last year
- JuMP extensions for constraint programming.☆16Updated 4 years ago
- A JuMP extension to use parameter in constraints RHS☆41Updated 2 years ago
- Presolve routines for mathematical optimization☆23Updated last year
- A Julia interface to the PATH solver☆15Updated 3 years ago
- A reader for MPS and QPS files☆17Updated 2 years ago
- lrs wrapper module for Julia☆14Updated 2 years ago
- Extensions to MathOptInterface to support constraint programming.☆22Updated last month
- Extension of MultivariatePolynomials to moments of multivariate measures☆12Updated 3 weeks ago
- Interface to Polymake using CxxWrap☆28Updated last month
- Automated integrated regression tests for graphics libraries☆29Updated last month
- A general branch and bound framework☆31Updated last year
- Rigorous global optimisation in pure Julia☆54Updated 2 years ago
- Read and write a variety of mathematical optimization file formats☆33Updated 4 years ago
- Benchmark tools for solvers☆23Updated last month
- Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface☆23Updated 2 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 2 weeks ago
- A Julia interface for the NEOS Optimisation Server☆30Updated 3 weeks ago
- Data structures for linear and quadratic optimization problems based on NLPModels.jl☆16Updated last month
- Extension for dealing with parameters☆36Updated last month
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 3 years ago
- A Julia interface to the MiniZinc constraint modeling language☆17Updated last week
- Julia's CUTEst Interface☆47Updated 2 weeks ago