ABACUS - A Branch-And-CUt System - ABACUS is a software system which provides a framework for the implementation of branch-and-bound algorithms using linear programming relaxations that can be complemented with the dynamic generation of cutting planes or columns (branch-and-cut, branch-and-price,branch-and-cut-and-price).
ABSSP: Subset Sum Problem - Computational time for solving subset sum problem with algorithm ABSSP by Andrea Bianchini.
AIMMS - Advanced modeling environment for building optimization-based decision support applications and advanced planning systems.
AMPL - Modeling language and system for formulating, solving and analyzing large-scale optimization (mathematical programming) problems.
CBC - The COIN Branch and Cut solver is an open-source mixed-integer program (MIP) solver written in C++.
Center for Advanced Modeling and Optimization - Information about modeling and optimization systems, modeling languages for mathematical programming, linear and nonlinear programming packages, and other optimization software.
Dash Optimization - Offers a software suite for modeling and optimization. Information about product components, overview of services, and a client area.
Discrete Optimization Methods - Archive of Pascal procedures from the 1983 text "Discrete Optimization Algorithms with Pascal Programs" by Maciej M. Syslo, Narsingh Deo, and Janusz S. Kowalik.
Eudoxus Systems - Using optimization to solve business problems. Includes lecture notes and case studies on the practical application of linear programming and optimization.
GAMS - The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems.
GIPALS: Linear Programming Tool - Linear programming software for industrial size constrained optimization based on Interior-Point method.
GLPK (GNU Linear Programming Kit) - A package is intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of routines written in ANSI C and organized in the form of a callable library. GLPK supports the GNU MathProg language, which is a subset of the AMPL language.
HOPDM - Package for solving large-scale linear, convex quadratic and convex nonlinear programming problems. The code is an implementation of the infeasible primal-dual interior point method, and compares favorably with commercial LP, QP and NLP packages.
ILOG Optimization Suite - Optimization algorithms, resource allocation, resource optimization, tools to improve decision-making.
LINDO Optimization Modeling Tools - Software for linear, integer and nonlinear optimization. LINDO supplies large scale solvers with links to Excel and database applications.
Linear Programming - Survey of modern software for linear programming (by R.Fourer, 2005).
Linear Programs Solvers - A free software package that solves linear programming models by the simplex and/or the push-and-pull methods.
LLamasoft - Modeling software that combines simulation and optimization together in one program, from the creator of Supply Chain Guru.
LogMIP - (Logical Mixed Integer Programming) is a solver for generalized disjunctive programs (GDP).
MINTO - Mixed INTeger Optimizer - is a software system that solves mixed-integer linear programs by a branch-and-bound algorithm with linear programming relaxations. It also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation.
MOSEK - Large scale optimization software. Solves linear, quadratic, general convex and mixed integer optimization problems. Details of products, trial downloads, licensing information, and documentation.
.NET OPTIMIZATION - TOMNET - The TOMNET Optimization Platform provides a standardized environment for general operations research development for the Microsoft .NET Framework. Well-known optimization solvers, such as SNOPT and MINOS are fully integrated.
Nonlinear Optimization - Nonlinear finite and infinite dimensional optimization, identification, methods and demo software by Prof. V. K. Tolstykh, Donetsk National University.
SCIP - Solving Constraint Integer Programs. SCIP is implemented as C callable library and provides C++ wrapper classes for user plugins.
SolvOpt - Matlab, C, and Fortran codes to minimize nonlinear, possibly non-smooth objective functions and solve nonlinear minimization problems, taking into account constraints by the method of exact penalization.
SoPlex - Sequential object-oriented simplex class library, free to download for research purposes for members of non-commercial and academic institutions.
SYMPHONY - Mixed-integer linear programming Solver Framework. By default, SYMPHONY reads both the MPS file format (through the COIN-OR MPS reader) and AMPL files (through the GLPK parser). The SYMPHONY source code is available under the Common Public License.
Zimpl - A little language to translate the mathematical model of a problem into a linear or (mixed-) integer mathematical program expressed in .lp or .mps file format which can be read and (hopefully) solved by a LP or MIP solver. Zimpl is a command line program written in plain C and released under GNU GPL.
