package osdp

  1. Overview
  2. Docs

TODO: doc

TODO: factorize defs and printing with PreSdp and Sdp

Preprocessed SDP (interface to the module Sdp).

See the module Sdp for details. This just call the corresponding function in Sdp after a preprocessing meant to eliminate redundant free variables.

module type S = sig ... end
module Make (S : Scalar.S) : S with module Scalar = S

TODO: explain differences between these modules.

module Q : S with module Scalar = Scalar.Q
module Float : S with module Scalar = Scalar.Float