package netkat

  1. Overview
  2. No Docs
A clean slate implementation of NetKAT

Install

Dune Dependency

Authors

Maintainers

Sources

netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d

Description

A clean slate implementation of NetKAT

Published: 18 Feb 2020

Dependencies (15)

  1. mparser >= "1.2.3" & < "1.3"
  2. tyxml >= "4.3.0"
  3. printbox >= "0.2"
  4. ppx_jane >= "v0.12.0" & < "v0.14"
  5. ppx_deriving >= "4.3"
  6. idds != "0"
  7. nice_parser != "0"
  8. open >= "0"
  9. stdio >= "v0.12.0" & < "v0.14"
  10. core >= "v0.12.0" & < "v0.14"
  11. base >= "v0.12.0" & < "v0.14"
  12. menhir build & >= "20190626"
  13. dune >= "1.10"
  14. ocaml >= "4.07.0"
  15. async >= "v0.12.0" & < "v0.14"

Dev Dependencies (2)

  1. ppx_inline_test with-test & >= "v0.12.0" & < "v0.14"
  2. odoc with-doc

Used by

None

Conflicts

None