package coq-libvalidsdp

  1. Overview
  2. No Docs
LibValidSDP

Install

Dune Dependency

sourcesup.renater.fr Edit opam file Versions (7)

Authors

  1. P
    Pierre Roux <pierre.roux@onera.fr>
  2. Ã
    Érik Martin-Dorel <erik.martin-dorel@irit.fr>

Maintainers

  1. P
    Pierre Roux <pierre.roux@onera.fr>
  2. Ã
    Érik Martin-Dorel <erik.martin-dorel@irit.fr>

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:libValidSDP

Published: 09 Jan 2019

Dependencies (8)

  1. coq-bignums
  2. coq-flocq >= "3" & < "3.1~"
  3. camlp4
  4. ocamlfind
  5. coq-mathcomp-field >= "1.7" & < "1.8~"
  6. coq-interval >= "3" & < "4~"
  7. coq >= "8.7" & < "8.9~"
  8. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None