You wrote:
> 
> Is there any Binary Decision Diagram package available
> in CAML ? 
> 
> Franck.
> 
> -- Franck Cassez ----   ----   Departement d'Informatique  -- 
> -- Universite de Bretagne Occidentale  6, Avenue Le Gorgeu --
> ----   BP 809  ----   29285 Brest Cedex  ----   FRANCE   ----
> -- tel: (+33) 02 98 01 69 59 -- fax: (+33) 02 98 01 69 56  --
> 
> 
> 

 I have written one in caml (not ocaml) to compute clock expressions
 in the 8 1/2 language. It is included in the distribution of
 the language available at 
 
 ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/last.tar.gz
 
 The name of the bdd package is bdd.ml[i]

 
 Regards.
 
-- 
  Olivier MICHEL                           Email : michel@lri.fr 
  Laboratoire LRI - Universite Paris Sud         : Olivier.Michel@lri.fr
  Bat. 490 - bureau 11                     Fax   : +33 01 69 15 65 86
  91405 ORSAY CEDEX                        Phone : +33 01 69 15 42 25
  FRANCE