[Haskell-cafe] Haskell BDD library?

[Hans-Wolfgang Loidl]

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 at informatik.uni-muenchen.de
D 80538  Munich            URL: http://www.tcs.informatik.uni-muenchen.de/~hwloidl/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20040307/ce9247ee/attachment.bin