Module SdpRet

module SdpRet: sig .. end

Return codes for SDP.

type t =

`\|`	`Success`
`\|`	`PartialSuccess`	`(*`	Problem solved with reduced accuracy.	`*)`
`\|`	`PrimalInfeasible`
`\|`	`DualInfeasible`
`\|`	`NearPrimalInfeasible`
`\|`	`NearDualInfeasible`
`\|`	`Unknown`

val is_success : t -> bool

is_success t returns true if and only if t is Success or PartialSuccess.

val pp : Stdlib.Format.formatter -> t -> unit