package osdp

  1. Overview
  2. Docs
module Csdp : sig ... end

Interface towards the C library CSDP.

module Csdp_lexer : sig ... end
module Csdp_parser : sig ... end
module Csdp_path : sig ... end
module Dualize : sig ... end

TODO: doc

module Ident : sig ... end

Unique identificators.

module LinExpr : sig ... end

Affine expressions.

module Lmi : sig ... end

Linear Matrix Inequalities (LMI) optimization.

module Matrix : sig ... end

Matrices and basic operations.

module Monomial : sig ... end

Monomials of multiple variables (e.g., x^2 y z^3).

module Moseksdp : sig ... end

Interface towards the C library of Mosek for SDP.

module NewtonPolytope : sig ... end

Newton polytope optimization.

module Polynomial : sig ... end

Multiple variables polynomials.

module Posdef : sig ... end

Proving positive definiteness of matrices.

module PreSdp : sig ... end

Preprocessed SDP (interface to the module Sdp).

module Scalar : sig ... end

Type of scalars along with basic scalar operations.

module Sdp : sig ... end

Common interface for SDP (Csdp or Moseksdp or Sdpa).

module SdpRet : sig ... end

Return codes for SDP.

module Sdp_default : sig ... end
module Sdpa : sig ... end

Interface towards SDPA{,-GMP}.

module Sdpa_lexer : sig ... end
module Sdpa_parser : sig ... end
module Sdpa_paths : sig ... end
module Sos : sig ... end

Sum of Squares (SOS) optimization.

module Utils : sig ... end

Various utility functions.