sig
type matrix = (int * int * float) list
type block_diag_matrix = (int * Moseksdp.matrix) list
type options = { verbose : int; }
val default : Moseksdp.options
val solve :
?options:Moseksdp.options ->
Moseksdp.block_diag_matrix ->
(Moseksdp.block_diag_matrix * float) list ->
SdpRet.t * (float * float) *
((int * float array array) list * float array *
(int * float array array) list)
val solve_ext :
?options:Moseksdp.options ->
(int * float) list * Moseksdp.block_diag_matrix ->
((int * float) list * Moseksdp.block_diag_matrix * float * float) list ->
(int * float * float) list ->
SdpRet.t * (float * float) *
((int * float) list * (int * float array array) list * float array *
(int * float array array) list)
end