package osdp

  1. Overview
  2. Docs
package osdp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module OsdpSource

Sourcemodule Csdp : sig ... end

Interface towards the C library CSDP.

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

TODO: doc

Sourcemodule Ident : sig ... end

Unique identificators.

Sourcemodule LinExpr : sig ... end

Affine expressions.

Sourcemodule Lmi : sig ... end

Linear Matrix Inequalities (LMI) optimization.

Sourcemodule Matrix : sig ... end

Matrices and basic operations.

Sourcemodule Monomial : sig ... end

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

Sourcemodule Moseksdp : sig ... end

Interface towards the C library of Mosek for SDP.

Sourcemodule NewtonPolytope : sig ... end

Newton polytope optimization.

Sourcemodule Polynomial : sig ... end

Multiple variables polynomials.

Sourcemodule Posdef : sig ... end

Proving positive definiteness of matrices.

Sourcemodule PreSdp : sig ... end

Preprocessed SDP (interface to the module Sdp).

Sourcemodule Scalar : sig ... end

Type of scalars along with basic scalar operations.

Sourcemodule Sdp : sig ... end

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

Sourcemodule SdpRet : sig ... end

Return codes for SDP.

Sourcemodule Sdp_default : sig ... end
Sourcemodule Sdpa : sig ... end

Interface towards SDPA{,-GMP}.

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

Sum of Squares (SOS) optimization.

Sourcemodule Utils : sig ... end

Various utility functions.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct