package caisar-nnet

  1. Overview
  2. Docs
NNet parser for CAISAR

Install

git.frama-c.com Readme Changelog Edit opam file

Authors

  1. L
    LAISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

  1. L
    LAISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-0.2.tbz
sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069
sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3

Description

Published: 27 Jun 2023

Dependencies (4)

  1. csv >= "2.4"
  2. base >= "v0.14.0"
  3. ocaml >= "4.13"
  4. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. caisar = "0.2"

Conflicts

None