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