omega-icl / mcppLinks
Library for construction, manipulation and evaluation of factorable functions
☆11Updated last week
Alternatives and similar repositories for mcpp
Users that are interested in mcpp are comparing it to the libraries listed below
Sorting:
- A Julia interface to the PATH solver☆15Updated 4 years ago
- A forward McCormick operator library☆17Updated 4 months ago
- Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface☆23Updated 6 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Updated last year
- Set Programming with JuMP☆22Updated 11 months ago
- ☆10Updated 5 years ago
- Read and write a variety of mathematical optimization file formats☆33Updated 5 years ago
- ☆27Updated 3 years ago
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆39Updated 7 months ago
- Presolve routines for mathematical optimization☆23Updated 2 years ago
- Hybrid Systems definitions in Julia☆30Updated this week
- Julia interface to SNOPT (must obtain a licensed copy of SNOPT separately)☆19Updated 6 months ago
- Cone program refinement☆10Updated 5 years ago
- A repository for long-term benchmarking of JuMP performance☆22Updated this week
- Exact real arithmetic in Julia☆13Updated 5 years ago
- JuMP extensions for constraint programming.☆16Updated 5 years ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆16Updated last year
- ☆16Updated 3 years ago
- Interface to the Mosek solver in Julia☆55Updated 7 months ago
- A Julia modeling layer for the Generalized Moment Problem☆15Updated 6 months ago
- A gradient-based outer approximation solver for convex mixed-integer nonlinear programming (MINLP)☆61Updated 8 months ago
- Limited-Memory Factorization of Symmetric Matrices☆23Updated 6 months ago
- Extensions to MathOptInterface to support constraint programming.☆24Updated 5 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆51Updated 3 weeks ago
- Large scale convex optimization solvers in julia☆23Updated 4 years ago
- Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations☆35Updated 2 weeks ago
- Optimization model diagnostic tools for Julia/JuMP☆18Updated 7 years ago
- Information page for running sos solvers☆14Updated 4 years ago
- A general branch and bound framework☆32Updated 2 weeks ago
- Distances to sets for MathOptInterface☆27Updated last month