Hi, We are just starting on a project of parallelising a symbolic model checking algorithm, which operates on BDDs (binary-decision diagrams), in GpH. Does anyone have a Haskell implementation of such a library around and is willing to share it? Also, pointers to possibly useful BDD libraries, either in Haskell or lesser languages, would be welcome. Cheers, -- Hans-Wolfgang Loidl Ludwig-Maximilians-University Munich Tel: +49 89 / 2180 9864 Institut f. Informatik Fax: +49 89 / 2180 9338 Oettingenstr 67 Email: hwloidl@informatik.uni-muenchen.de D 80538 Munich URL: http://www.tcs.informatik.uni-muenchen.de/~hwloidl/