lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module LutinUtils
val gauss_continue : int -> int -> int -> int
val gauss_stop : int -> int -> int -> int
val interval_continue : int -> int -> int -> int
val interval_stop : int -> int -> int -> int