Opam Package osdp.1.0.0

Package info

opam-nameosdp
opam-version1.0.0
synopsisOCaml Interface to SDP solvers
description OSDP is an OCaml frontend library to semi-definite programming (SDP) numerical optimization solvers. This package will be installed with the solver CSDP. It will also be compiled with SDPA and Mosek support if they can be found in the PATH.
authors
  • Pierre Roux <pierre.roux@onera.fr>
homepagehttps://cavale.enseeiht.fr/osdp/
licenseLGPL-2.0-or-later
deps (7)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

osdp

Package files

lib/stublibs/dllosdp.so.owner
lib/stublibs/dllosdp.so
lib/osdp/utils.mli
lib/osdp/sos.mli
lib/osdp/sdpa_parser.mli
lib/osdp/sdpa.mli
lib/osdp/sdpRet.mli
lib/osdp/sdp.mli
lib/osdp/scalar.mli
lib/osdp/preSdp.mli
lib/osdp/posdef.mli
lib/osdp/polynomial.mli
lib/osdp/osdp_top.cmo
lib/osdp/osdp.cmxs
lib/osdp/osdp.cmxa
lib/osdp/osdp.cmi
lib/osdp/osdp.cma
lib/osdp/osdp.a
lib/osdp/newtonPolytope.mli
lib/osdp/moseksdp.mli
lib/osdp/monomial.mli
lib/osdp/matrix.mli
lib/osdp/lmi.mli
lib/osdp/linExpr.mli
lib/osdp/libosdp.a
lib/osdp/ident.mli
lib/osdp/dualize.mli
lib/osdp/csdp_parser.mli
lib/osdp/csdp.mli
lib/osdp/META
lib/osdp