ABACUS provides a general interface to linear programming solvers. However, the current release supports only the LP-solvers Cplex versions 2.2, 3.0, and 4.0 [Cpl94, Cpl95] and SoPlex 1.0 [Wun97]. There are different ABACUS libraries that can be combined with Cplex, SoPlex, or both LP-solvers.