1
(* Title: HOL/Matrix/cplex/Cplex.thy
2
ID: $Id$
3
Author: Steven Obua
4
*)
5
6
theory Cplex
7
imports FloatSparseMatrix
8
uses "Cplex_tools.ML" "CplexMatrixConverter.ML" "FloatSparseMatrixBuilder.ML" "fspmlp.ML"
9
begin
10
11
end
12
13
14