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