lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module GenOcamlGlue
val f : string array -> MainArg.t -> unit