• FilMINT

• Referenced in 44 articles [sw06197]
• approximation-based solver for convex mixed-integer nonlinear programs. We describe a new solver ... convex mixed-integer nonlinear programs (MINLPs) that implements a linearization-based algorithm. The solver ... solution of a master mixed-integer linear program (MILP) by adding new linearizations at open ... branch-and-bound tree whenever an integer solution is found. The new solver, FilMINT, combines...

• LPbook

• Referenced in 49 articles [sw31782]
• proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book...

• z3

• Referenced in 496 articles [sw04887]
• Microsoft Research.Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted ... integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...

• DICOPT

• Referenced in 34 articles [sw04938]
• program for solving mixed-integer nonlinear programming (MINLP) problems that involve linear binary or integer ... maturity and reliability as linear, integer or non-linear programming modeling, these problems have ... Nonlinear Programming) or MIP (Mixed-Integer Programming) solver that runs under GAMS...

• ANTIGONE

• Referenced in 83 articles [sw09241]
• mixed-integer quadratically-constrained quadratic program and mixed-integer signomial optimization computational frameworks. To demonstrate...

• GloMIQO

• Referenced in 69 articles [sw06266]
• Globally optimizing mixed-integer quadratically-constrained quadratic programs. Major applications of mixed-integer quadratically-constrained...

• lpSolve

• Referenced in 44 articles [sw04106]
• solving linear, integer and mixed integer programs. In this implementation we supply a ”wrapper” function...

• DDSIP

• Referenced in 43 articles [sw05103]
• decomposition in two-stage stochastic mixed-integer programming, needs CPLEX...

• Pyomo

• Referenced in 42 articles [sw04910]
• language. Python is a powerful and dynamic programming language that has a very clear, readable ... tutorial on simple linear and integer programming models. Information needed to install and get started...

• bc-prod

• Referenced in 42 articles [sw10663]
• formulate his/her problem as a mixed integer program using XPRESS-MP’s mp-model...

• DAKOTA

• Referenced in 64 articles [sw05202]
• such as surrogate-based optimization, mixed integer nonlinear programming, or optimization under uncertainty. By employing...

• ParaSCIP

• Referenced in 29 articles [sw06292]
• Parallel Extension of SCIP. Mixed integer programming (MIP)has become one of the most important ... Discrete Optimization. SCIP (Solving Constraint Integer Programs) is currently one of the fastest non-commercial...

• OPERA

• Referenced in 29 articles [sw03200]
• linear programming (LP), network programming (NP), integer programming (IP) and dynamic programming (DP). OPERA...

• QSopt_ex

• Referenced in 27 articles [sw04722]
• solver for Linear Programming (and Integer Programming to a lesser degree) that returns true (rational...

• MINLP

• Referenced in 49 articles [sw04800]
• information about all aspects of Mixed Integer Nonlinear Programming (MINLP): http://www.gamsworld.org/minlp/solvers.htm...

• DIP

• Referenced in 18 articles [sw09870]
• Decomposition for Integer Programming) is an open-source extensible software framework for implementing decomposition-based ... below links. M. Galati, ​Decomposition in Integer Linear Programming, Doctoral Dissertation, Lehigh University, December ... Ralphs and M. Galati, ​Decomposition in Integer Programming, in ​Integer Programming: Theory and Practice, John...

• Cbc

• Referenced in 31 articles [sw04440]
• open-source mixed integer programming solver written in C++. It can be used...

• 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 ... very big difference with well known integer programming tools like lp_solve or CPLEX...

• GRIN

• Referenced in 26 articles [sw08940]
• implementation of Gröbner bases for integer programming. this paper we present a computer program (GRIN...

• PICO

• Referenced in 26 articles [sw02252]
• branch-and-bound method for mixed integer programming, along with computational results on the ASCI...