frenetic.netkat
Frenetic_netkat.Virtual_Compiler
frenetic
frenetic.async
frenetic.kernel
Comping Virtual NetKAT Programs
module Make (FG : FabricGen.FABRIC_GEN) : sig ... end
Virtual Compiler generator parameterized by Fabric Generation strategy