package osdp

  1. Overview
  2. Docs

Sum of Squares (SOS) optimization.

This module takes SOS 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 (P : Polynomial.S) : S with module Poly = P

TODO: explain differences between these modules.

module Q : S with module Poly = Polynomial.Q
module Float : S with module Poly = Polynomial.Float