lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module ExprUtil
val get_info : Bddd.t -> Bdd.t -> Bdd.t -> (Expr.t * Bdd.t) -> Expr.t