Osi (Open Solver Interface) provides an abstract base class to a generic linear programming (LP) solver, along with derived classes for specific solvers. Many applications may be able to use the Osi to insulate themselves from a specific LP solver. That is, programs written to the OSI standard may be linked to any solver with an OSI interface and should produce correct results. The OSI has been significantly extended compared to its first incarnation. Currently, the OSI supports linear programming solvers and has rudimentary support for integer programming. Among others the following operations are supported:
- creating the LP formulation;
- directly modifying the formulation by adding rows/columns;
- modifying the formulation by adding cutting planes provided by CGL;
- solving the formulation (and resolving after modifications);
- extracting solution information;
- invoking the underlying solver's branch-and-bound component.
The following is a list of derived Osi classes:
| Solver | Derived Class | Note |
|---|---|---|
| Cbc | OsiCbc | unmaintained |
| Clp | OsiClp | |
| CPLEX | OsiCpx | |
| DyLP | OsiDylp | |
| GLPK | OsiGlpk | Glpk >= 4.48 |
| Gurobi | OsiGrb | |
| HiGHS | OsiHiGHS | under development |
| MOSEK | OsiMsk | |
| SoPlex | OsiSpx | SoPlex < 4.0 |
| SYMPHONY | OsiSym | |
| Vol | OsiVol | |
| XPRESS-MP | OsiXpr |
Each solver interface is in a separate directory of Osi or distributed with the solver itself.
Osi is written in C++ and is released as open source code under the Eclipse Public License (EPL). It is available from the COIN-OR initiative. Within COIN-OR, Osi is used by Cgl, Cbc, and Bcp, among others.
The Osi website is https://github.com/coin-or/Osi.
The main project managers are Lou Hafer (@LouHafer) and Matt Saltzmann (@mjsaltzman).
An incomplete list of recent changes to Osi are found in the CHANGELOG
To build CoinUtils from source, obtain the coinbrew script from
https://coin-or.github.io/coinbrew/
and run
/path/to/coinbrew fetch --main-proj=Osi
/path/to/coinbrew build --main-proj=Osi --test
/path/to/coinbrew install --main-proj=Osi
The coinbrew script will fetch these additional projects.
- Install CoinUtils
- Obtain the source code, e.g., from https://github.com/coin-or/Osi
- Run
./configure -Cto generate makefiles - Run
maketo build the CoinUtils library - Run
make testto build and run the CoinUtils unit test program - Run
make installto install library and header files.
If you have Doxygen available, you can build a HTML documentation by typing
make doxydoc
in the build directory.
If CoinUtils was build via coinbrew, then the build directory is ./build/CoinUtils.
The doxygen documentation main file is found at ./doxydoc/html/index.html in the build directory.
If Doxygen is not available, you can use also use this link.
- COIN-OR Initiative
- mailing list
- Report a bug
- Doxygen-generated html documentation
- OSI2 Discussion
- The most recent tutorial on OSI can be accessed from the page on presentations from the 2004 CORS/INFORMS Joint Meeting in Banff.
- The COIN-OR Open Solver Interface: Technology Overview: An overview of the COIN-OR OSI and design issues for a next-generation version given at CORS/INFORMS 2004 by Matthew Saltzman.
It is possible to create an osi build that supports cplex, gurobi and xpress even if you don't have (yet) any of these solvers on your machine using lazylpsolverlibs. To do so, follow these steps:
- Install lazylpsolverlibs (follow the instructions of the lazylpsolverlibs wiki)
- Use the following command line to configure Osi:
./configure --with-cplex-incdir="$(pkg-config --variable=includedir lazycplex)/lazylpsolverlibs/ilcplex" \
--with-cplex-lib="$(pkg-config --libs lazycplex)" \
--with-gurobi-incdir="$(pkg-config --variable=includedir lazygurobi)/lazylpsolverlibs" \
--with-gurobi-lib="$(pkg-config --libs lazygurobi)" \
--with-xpress-incdir="$(pkg-config --variable=includedir lazyxprs)/lazylpsolverlibs" \
--with-xpress-lib="$(pkg-config --libs lazyxprs)"
- Then follow the normal installation process (make, make install)
Your build should now support cplex, gurobi and xpress, which means that if you install one of these solvers, osi will be able to use it. At run time, you just need to point one of the environment variables LAZYLPSOLVERLIBS_GUROBI_LIB, LAZYLPSOLVERLIBS_CPLEX_LIB or LAZYLPSOLVERLIBS_XPRS_LIB to the full path of the corresponding solver library. For example:
export LAZYLPSOLVERLIBS_CPLEX_LIB=/usr/ilog/cplex121/bin/x86_debian4.0_4.1/libcplex121.so
If pkg-config reports errors during the configure step, try modifying the PKG_CONFIG_PATH variable. Most likely, you need to do:
export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig