package coq-libvalidsdp
LibValidSDP
Install
Dune Dependency
Authors
Maintainers
Sources
libvalidsdp.0.5.tgz
md5=8804c308899b85fccb54ec6a6b9fc57c
Description
Tags
keyword:libValidSDP keyword:ValidSDP keyword:floating-point arithmetic keyword:Cholesky decomposition category:Miscellaneous/Coq Extensions logpath:libValidSDPPublished: 09 Jan 2019
Dependencies (8)
- coq-bignums
-
coq-flocq
>= "3" & < "3.1~" - camlp4
- ocamlfind
-
coq-mathcomp-field
>= "1.7" & < "1.8~" -
coq-interval
>= "3" & < "4~" -
coq
>= "8.7" & < "8.9~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page