OS Projects

Optimization Services projects can be grouped into two major categories those that directly come out of the Optimization Services project (e.g. OS Libries, OS Server, OSmL Modeling) and those that are third parth software that support Optimization Services (e.g. AMPL, COIN solvers, Lindo Software).

Products that are directly derived from the Optimization Services project are listed to the left.

<= (There are related services that support these products).

Modeling Systems

• AMPL is a modeling language system that generates Optimization Services compatible instance (e.g. OSiL) and take Optimization Servcies result (e.g. OSrL)
• Lindo/Lingo is currently collaborating with Optimization Services to make Lindo company's LINGO modeling system fully compatible with the Optimization Services Standard
• OSmL is among the many derived researches from the Optimization Services project. OSmL is a computer modeling language for mathematical optimization that is built around and natively support the Optimization Services framework.
• POAMS, from University of Arizona, is an object-algebraic modeling. POAMS is implemented within the versatile Python scripting language. POAMS is under the progress of being made compatible with Optimization Services standards.
• GAMS is a high-level modeling system for mathematical programming and optimization. Optimization Services is under contact with GAMS.
• Frontline System's spread sheet based modeling system already has the capability of exporting linear programs formulated in Excel into an early version of OSiL. Full support of OSiL is under discussion.
• MPL modeling language from maximal has expressed support for Optimization Services and intention to make MPL system OS-compatible.

Optimization Solvers

• OSI is the "bridge" or interface that Optimization Services uses to make all its supported linear solvers take OS standards such as OSiL as an input instance.
• CLP (Coin-or linear programming) is an open-source linear programming solver written in C++. CLP takes OSiL optimization instance input (implemented through the COIN OSI interface).
• CBC (Coin-or branch and cut) is an open-source mixed integer programming solver written in C++. CBC takes OSiL optimization instance input (implemented through the COIN OSI interface).
• GLPK (GNU Linear Programming Kit) 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 takes OSiL optimization instance input (implemented through the COIN OSI interface).
• Knitro from Ziena is a solver for nonlinear optimization. Code has been developed for the Knitro solver to take OSiL.
• IPOPT (Interior Point OPTimizer, pronounced I-P-Opt) is a software package for large-scale nonlinear optimization. It is under active discussion that IPOPT takes OSiL.
• CPLEX is an optimization engine that mainly solves linear problems. CPLEX takes OSiL optimization instance input through the COIN OSI interface.
• Lindo is currently collaborating with Optimization Services to make Lindo company's solver-related products fully compatible with the Optimization Services Standard.

Optimization Systems and Servers

• Optimization Services is intended to be the next-generation Network Enabled Optimization System (NEOS). Click here to see the detail.
• Several companies have leveraged on the Optimization Services framework and standards to depoly distributed enterprise computational system in their Intranet. For proprietary reasons, no names are disclosed here.
• OS services are hosted for various puposes (research, proof-of-concept and commercial). Click here for more details.
• IMPACT solvers/services are a suite of Integrated Mathematical Programming Advanced Computational Tools, used to determine optimal solutions to large scale decision problems. Models can be linear or nonlinear, continuous or discrete, deterministic or stochastic, tightly coupled or distributed.

Other

• Dr. AMPL is an AMPL-based optimization problem analyzer which may be used either as a stand-alone tool or hooked to a server such as NEOS. Dr. AMPL's problem analyzer checks properties ranging from size and sparsity to linearity and convexity, then compares the results to a database of solver characteristics to produce a list of recommended solvers. This information can then be fed to optimization services such as NEOS and OSxL.
• OS Interface and COIN OSI2 is a new initiative active under progress to build the next generation Open Solver Interface.
• OS Repository is a large repository of optimization problems, of any kind of types, that are represented using one unified format -- OSiL.
• OS binary is a project that Optimization Services collaborate with COIN-OR to provide binaries of computing software.
• OS GUI is a new project a project that is under planning to provide support of graphical user interface to computing software to promote the use of many open source computing software.