[MLton-user] BDD package for MLton?

[Frank Pfenning]

Does anyone know of an efficient BDD package in MLton or
something like the MLCuddIDL interface to the CUDD library which
exists for O'Caml?  A quick Google search did not yield much
except for a package in Moscow ML used for HOL.

  Thanks,
  Frank