netkat

A clean slate implementation of NetKAT
Description

A clean slate implementation of NetKAT

Install
Documentation failed to build! Sorry about that.
Published
18 Feb 2020
Sources
netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d
Dependencies
mparser
>= "1.2.3" & < "1.3"
tyxml
>= "4.3.0"
printbox
>= "0.2"
ppx_jane
>= "v0.12.0" & < "v0.14"
ppx_inline_test
with-test & >= "v0.12.0" & < "v0.14"
idds
!= "0"
open
>= "0"
odoc
with-doc
stdio
>= "v0.12.0" & < "v0.14"
core
>= "v0.12.0" & < "v0.14"
base
>= "v0.12.0" & < "v0.14"
menhir
build & >= "20190626"
dune
>= "1.10"
ocaml
>= "4.07.0"
async
>= "v0.12.0" & < "v0.14"
Reverse Dependencies