Osi

Jul 20, 2023

COIN-OR Open Solver Interface, an API for calling solver libraries

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. The following is a list of derived Osi classes

Solver Derived Class

  • Cbc OsiCbc
  • Clp OsiClp
  • CPLEX OsiCpx
  • DyLP OsiDylp
  • GLPK OsiGlpk
  • Gurobi OsiGrb
  • MOSEK OsiMsk
  • SoPlex OsiSpx
  • SYMPHONY OsiSym
  • Vol OsiVol
  • XPRESS-MP OsiXpr


Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++