[Haskell-cafe] Haskell BDD library?

[ajb at spamcop.net]

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:

        http://www.cs.bris.ac.uk/~bradley/publish/bdd/index.html

Cheers,
Andrew Bromage