[Haskell-cafe] Haskell BDD library?

ajb at spamcop.net ajb at spamcop.net
Sat Mar 6 22:30:46 EST 2004

G'day all.

Quoting Hans-Wolfgang Loidl <hwloidl at informatik.uni-muenchen.de>:

> 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?

Some code and links here:


Andrew Bromage

More information about the Haskell-Cafe mailing list