Linear Programming and Optimization

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).
www.informatik.uni-koeln.de/old-ls_juenger/projects/abacus.html

ABSSP: Subset Sum Problem - Computational time for solving subset sum problem with algorithm ABSSP by Andrea Bianchini.
www.bianchiniandrea.it

AIMMS - Advanced modeling environment for building optimization-based decision support applications and advanced planning systems.
www.aimms.com/

AMPL - Modeling language and system for formulating, solving and analyzing large-scale optimization (mathematical programming) problems.
www.ampl.com

CBC - The COIN Branch and Cut solver is an open-source mixed-integer program (MIP) solver written in C++.
www.coin-or.org/Cbc

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.
www.ici.ro/camo/

CPLEX- Large-Scale Programming Software for Optimization. - The CPLEX division of ILOG provides large-scale mathematical programming software and services for resource optimization.
www.ilog.com/products/cplex/

Dash Optimization - Offers a software suite for modeling and optimization. Information about product components, overview of services, and a client area.
www.dashoptimization.com/

Decision Tree for Optimization Software - Guide to find software for optimization problems and related links.
plato.asu.edu/guide.html

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.
www.cs.sunysb.edu/~algorith/implement/syslo/implement.shtml

Esteco - Multidisciplinary design optimization software.
www.esteco.com

Eudoxus Systems - Using optimization to solve business problems. Includes lecture notes and case studies on the practical application of linear programming and optimization.
www.eudoxus.com

GAMS - The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems.
www.gams.com

GIPALS: Linear Programming Tool - Linear programming software for industrial size constrained optimization based on Interior-Point method.
www.optimalon.com

Global (and Local) Optimization - An archive of online information on global optimization.
www.mat.univie.ac.at/~neum/glopt.html

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.
www.gnu.org/software/glpk/glpk.html

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.
www.maths.ed.ac.uk/~gondzio/software/hopdm.html

ILOG Optimization Suite - Optimization algorithms, resource allocation, resource optimization, tools to improve decision-making.
www.ilog.com/products/optimization/

LINDO Optimization Modeling Tools - Software for linear, integer and nonlinear optimization. LINDO supplies large scale solvers with links to Excel and database applications.
www.lindo.com/

Linear Programming - Survey of modern software for linear programming (by R.Fourer, 2005).
www.lionhrtpub.com/orms/orms-6-05/frsurvey.html

Linear Programs Solvers - A free software package that solves linear programming models by the simplex and/or the push-and-pull methods.
home.ubalt.edu/ntsbarsh/Research/LpSolvers.htm

LLamasoft - Modeling software that combines simulation and optimization together in one program, from the creator of Supply Chain Guru.
www.llamasoft.com

LogMIP - (Logical Mixed Integer Programming) is a solver for generalized disjunctive programs (GDP).
www.logmip.ceride.gov.ar/eng/

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.
coral.ie.lehigh.edu/~minto/index.html

MOSEK - Large scale optimization software. Solves linear, quadratic, general convex and mixed integer optimization problems. Details of products, trial downloads, licensing information, and documentation.
www.mosek.com/

.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.
tomopt.com/tomnet/

Nonlinear Optimization - Nonlinear finite and infinite dimensional optimization, identification, methods and demo software by Prof. V. K. Tolstykh, Donetsk National University.
www.donnu.edu.ua/physics/kkt/tolstykh/

Nonlinear programming software survey - By Stephen G. Nash, 1998
www.lionhrtpub.com/orms/orms-6-98/nlpss.html

Online 2-Dimensional Optimization - An online computer program designed to calculate the optimal way of cutting 2d sheets.
www.applicationprogram.net

OPBDP - A Davis-Putnam Based Enumeration Algorithm for Linear Pseudo-Boolean Optimization
www.mpi-inf.mpg.de/departments/d2/software/opbdp

Optimization Frequently Asked Questions - Linear and non-linear programming FAQs.
www-unix.mcs.anl.gov/otc/Guide/faq/

Optimization Tools for MATLAB, LabVIEW and .NET (C# C++ and more) - For fast and robust large-scale optimization in Matlab, LabVIEW, AMPL and .NET with packages including CPLEX, Xpress, MINOS, SNOPT.
tomopt.com/

Pseudo-Boolean Benchmarks with Hidden Optimum Solutions - Benchmarks in opb format. Includes a description of how they were generated.
www.nlsde.buaa.edu.cn/~kexu/benchmarks/pb-benchmarks.htm

Pseudo-Boolean Optimization (PBO) Web-Project - Software, benchmarks, events, people, bibliography, quadratic optimization.
rutcor.rutgers.edu/~pbo/

SCIP - Solving Constraint Integer Programs. SCIP is implemented as C callable library and provides C++ wrapper classes for user plugins.
scip.zib.de/

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.
www.uni-graz.at/imawww/kuntsevich/solvopt/

SoPlex - Sequential object-oriented simplex class library, free to download for research purposes for members of non-commercial and academic institutions.
www.zib.de/Optimization/Software/Soplex/

SYMPHONY - Mixed-integer linear programming solver framework. By default, SYMPHONY reads both the MPS file format and AMPL files. The SYMPHONY source code is available under the Common Public License.
www.coin-or.org/SYMPHONY/

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.
www.zib.de/koch/zimpl/