package osdp

  1. Overview
  2. Docs

Linear Matrix Inequalities (LMI) optimization.

This module takes LMI problems, transforms them to SDP problems, calls an SDP solver and rebuilds the result.

See file example/demo.ml for examples of use.

module type S = sig ... end
module Make (M : Matrix.S) : S with module Mat = M

TODO: explain differences between these modules.

module Q : S with module Mat = Matrix.Q
module Float : S with module Mat = Matrix.Float