[Haskell-cafe] Haskell BDD library?
Hans-Wolfgang Loidl
hwloidl at informatik.uni-muenchen.de
Sun Mar 7 03:19:36 EST 2004
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
More information about the Haskell-Cafe
mailing list