[MLton-user] BDD package for MLton?

Frank Pfenning fp at cs.cmu.edu
Thu Dec 21 05:50:28 PST 2006


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



More information about the MLton-user mailing list