package osdp

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.