package caisar
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)
-
caisar-xgboost
= version
-
caisar-ir
= version
-
caisar-onnx
= version
-
caisar-ovo
= version
-
caisar-nnet
= version
-
yaml
>= "3.1.0"
-
fpath
>= "0.7.3"
-
re
>= "1.10.4" & < "1.12.0"
-
why3
>= "1.6.0" & < "1.7~"
-
csv
>= "2.4"
-
ppx_deriving_yojson
>= "3.6.1"
-
menhirLib
>= "20210310"
-
yojson
>= "1.7.0"
-
ppx_deriving
>= "5.1"
-
logs
>= "0.7.0"
-
fmt
>= "0.8.9"
-
cmdliner
>= "1.1.1"
-
stdio
>= "v0.14.0"
-
base
>= "v0.15.0" & < "v0.17"
-
ocplib-endian
>= "1.0"
-
zarith
>= "1.7"
-
piqilib
>= "0.6.14"
-
piqi
>= "0.7.6"
-
dune-site
>= "2.9.0"
-
ocaml
>= "4.13"
-
dune
>= "2.9"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page