netkatversion

A clean slate implementation of NetKAT

A clean slate implementation of NetKAT

AuthorsCaleb Koch <cak247@cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu> and Nate Foster <jnfoster@cs.cornell.edu>
LicenseMIT
Published
Homepagehttps://github.com/netkat-lang/netkat
Issue Trackerhttps://github.com/netkat-lang/netkat/issues
MaintainerSteffen Smolka <smolka@cs.cornell.edu>
Dependencies
Source [http] https://github.com/netkat-lang/netkat/releases/download/0.1/netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/netkat/netkat.0.1/opam
No package is dependent