lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Auto2Lucky
val make : string -> string -> AutoGen.t -> out_channel -> unit