netkatversion
A clean slate implementation of NetKAT
A clean slate implementation of NetKAT
| Authors | Caleb Koch <cak247@cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu> and Nate Foster <jnfoster@cs.cornell.edu> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/netkat-lang/netkat |
| Issue Tracker | https://github.com/netkat-lang/netkat/issues |
| Maintainer | Steffen 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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/netkat/netkat.0.1/opam |
No package is dependent
