frenetic.netkat
Frenetic_netkat.FabricGen
frenetic
frenetic.async
frenetic.kernel
Strategy for generating fabric used by virtual compiler
module type FABRIC_GEN = sig ... end
FabricGen signature
module FabricGen : sig ... end
Two-Player Adversarial Strategy