package caisar

  1. Overview
  2. No Docs
A platform for characterizing the safety and robustness of artificial intelligence based software

Install

Dune Dependency

Authors

Maintainers

Sources

caisar-0.1.tbz
sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4
sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d

Description

Published: 14 Jul 2022

Dependencies (22)

  1. caisar-onnx = version
  2. caisar-ovo = version
  3. caisar-nnet = version
  4. re >= "1.10.4"
  5. why3 >= "1.5.0" & < "1.6~"
  6. csv >= "2.4"
  7. ppx_deriving_yojson >= "3.6.1"
  8. menhirLib >= "20210310"
  9. yojson >= "1.7.0"
  10. ppx_deriving >= "5.1"
  11. logs >= "0.7.0"
  12. fmt >= "0.8.9"
  13. cmdliner >= "1.1.1"
  14. stdio >= "v0.14.0"
  15. base >= "v0.14.0" & < "v0.17"
  16. ocplib-endian >= "1.0"
  17. zarith >= "1.7"
  18. piqilib >= "0.6.14"
  19. piqi >= "0.7.6"
  20. dune-site >= "2.9.0"
  21. ocaml >= "4.13"
  22. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.