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.2.tbz
sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069
sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3

Description

Published: 27 Jun 2023

Dependencies (26)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.