package osdp

You can search for identifiers within the package.

in-package search v0.2.0

osdp
- Osdp
  - Csdp
  - Csdp_lexer
  - Csdp_parser
  - Csdp_path
  - Dualize
    
    Float
    
    ScalarLinExpr
    
    Make
    
    S
    
    ScalarLinExpr
    
    Q
    
    ScalarLinExpr
    
    S
    
    Scalar
    
    ScalarLinExpr
  - Ident
  - LinExpr
    
    Float
    
    Make
    
    SC
    
    MakeScalar
    
    L
    
    Coeff
    
    Q
    
    S
    
    Coeff
  - Lmi
    
    Float
    
    Make
    
    M
    
    Coeff
    
    Q
    
    S
    
    Mat
    
    Coeff
  - Matrix
    
    Float
    
    Make
    
    ET
    
    Q
    
    S
    
    Coeff
  - Monomial
  - Moseksdp
  - NewtonPolytope
  - Polynomial
    
    Float
    
    Make
    
    SC
    
    Q
    
    S
    
    Coeff
  - Posdef
  - PreSdp
    
    Float
    
    Make
    
    S
    
    Q
    
    S
    
    Scalar
  - Scalar
    
    Float
    
    M
    
    Make
    
    M
    
    Q
    
    S
  - Sdp
  - SdpRet
  - Sdp_default
  - Sdpa
  - Sdpa_lexer
  - Sdpa_parser
  - Sdpa_paths
  - Sos
    
    Float
    
    Make
    
    P
    
    Coeff
    
    Q
    
    S
    
    Poly
    
    Coeff
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

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