Module Lmi

module Lmi: sig .. end

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: functor (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