
LINDO
 Referenced in 463 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming, Nonlinear Programming, Stochastic Programming, Global Optimization LINDO...

Gurobi
 Referenced in 309 articles
[sw04105]
 linear programming solver (LP), quadratic programming solver (QP), quadratically constrained programming solver (QCP), mixedinteger ... linear programming solver (MILP), mixedinteger quadratic programming solver (MIQP), and mixedinteger quadratically constrained...

Optimization Toolbox
 Referenced in 238 articles
[sw10828]
 Optimization Toolbox Product Description: Solve linear, quadratic, integer, and nonlinear optimization problems. Optimization Toolbox™ provides ... includes solvers for linear programming, mixedinteger linear programming, quadratic programming, nonlinear optimization, and nonlinear...

MIPLIB
 Referenced in 269 articles
[sw04067]
 mixed integer (linear) program (mip) is an optimization problem in which a linear objective function ... linear constraints over real and integervalued variables. For details on mixed integer programming...

CPLEX
 Referenced in 2221 articles
[sw04082]
 that solve linear programming (LP) and related problems. Specifically, it solves linearly or quadratically constrained ... optimized can be expressed as a linear function or a convex quadratic function. The variables ... continuous or further constrained to take only integer values...

Bonmin
 Referenced in 147 articles
[sw04766]
 fact that mixed integer nonlinear programming is an important and difficult area for which there ... both fundamental building blocks, namely mixed integer linear programming and nonlinear programming, have seen considerable ... well as on previous work in mixed integer nonlinear programming, this work represents the first...

MINTO
 Referenced in 130 articles
[sw04587]
 software system that solves mixedinteger linear programs by a branchandbound algorithm with ... linear programming relaxations. It also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation ... when used as a general purpose mixedinteger optimizer, MINTO attempts to: improve the formulation ... prices control the size of the linear programs by managing active constraints...

YALMIP
 Referenced in 706 articles
[sw04595]
 linear programming, quadratic programming, second order cone programming, semidefinite programming, nonconvex semidefinite programming, mixed ... integer programming, multiparametric programming, geometric programming The main features of YALMIP are: Easy...

Mosek
 Referenced in 259 articles
[sw04618]
 solve are linear programs, quadratic programs, conic problems and mixed integer problems. Such problems occurs ... Structural engineering. Due the strengths of the linear and conic optimizers in MOSEK, then MOSEK...

GLPK
 Referenced in 148 articles
[sw04560]
 intended for solving largescale linear programming (LP), mixed integer programming (MIP), and other related...

lp_solve
 Referenced in 66 articles
[sw04006]
 lesser general public license) linear (integer) programming solver based on the revised simplex method...

FilMINT
 Referenced in 42 articles
[sw06197]
 convex mixedinteger nonlinear programs (MINLPs) that implements a linearizationbased algorithm. The solver ... solution of a master mixedinteger linear program (MILP) by adding new linearizations at open ... branchandbound tree whenever an integer solution is found. The new solver, FilMINT, combines ... MILP with filterSQP to solve the nonlinear programs that arise as subproblems in the algorithm...

z3
 Referenced in 392 articles
[sw04887]
 developed at Microsoft Research.Z3 supports linear real and integer arithmetic, fixedsize bitvectors, extensional ... integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...

CVX
 Referenced in 496 articles
[sw04594]
 including linear and quadratic programs (LPs/QPs), secondorder cone programs (SOCPs), and semidefinite programs (SDPs ... other convex programs. As of version 2.0, CVX also solves mixed integer disciplined convex programs...

Pueblo
 Referenced in 29 articles
[sw00743]
 methods for solving PB problems, namely integer linear programming and preprocessing...

PipLib
 Referenced in 19 articles
[sw23763]
 PIP/Piplib, a parametric integer linear programming solver. PIP/PipLib is the well known Paul Feautrier ... parametric integer linear programming solver. PIP is a software that finds the lexicographic minimum ... maximum) in the set of integer points belonging to a convex polyhedron. The very ... integer programming tools like lp_solve or CPLEX is the polyhedron may depend linearly...

Couenne
 Referenced in 53 articles
[sw04347]
 naturally formulated using mixed integer nonlinear programming (MINLP) models and can be solved...

DICOPT
 Referenced in 29 articles
[sw04938]
 solving mixedinteger nonlinear programming (MINLP) problems that involve linear binary or integer variables ... maturity and reliability as linear, integer or nonlinear programming modeling, these problems have ... Center (EDRC) at Carnegie Mellon University. The program is based on the extensions ... solved using any NLP (Nonlinear Programming) or MIP (MixedInteger Programming) solver that runs under...

lpSolve
 Referenced in 35 articles
[sw04106]
 software for solving linear, integer and mixed integer programs. In this implementation we supply...

AlphaECP
 Referenced in 39 articles
[sw04940]
 GAMS/AlphaECP is a MINLP (MixedInteger NonLinear Programming) solver based on the extended cutting ... solved to feasibility or only to an integer relaxed solution in intermediate iterations. This makes...