package caisar
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)
-
caisar-onnx
= version
-
caisar-ovo
= version
-
caisar-nnet
= version
-
re
>= "1.10.4"
-
why3
>= "1.5.0" & < "1.6~"
-
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.14.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