Module Sdp_default

module Sdp_default: sig .. end

type solver =

`\|`	`Csdp`
`\|`	`Mosek`
`\|`	`Sdpa`
`\|`	`SdpaGmp`
`\|`	`SdpaDd`

val sdp_default : solver