lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module ExpEval
val simp_exp : Exp.t -> Exp.t
val simp_num : Exp.num -> Exp.num
val simp_formula : Exp.formula -> Exp.formula