1 (* Title: HOL/Matrix/cplex/MatrixLP.ML
1 (* Title: HOL/Matrix/cplex/matrixlp.ML
2 ID: $Id$
3 Author: Steven Obua
4 *)
5
6 signature MATRIX_LP =