Re: [Haskell-cafe] Haskell BDD library?

G'day all. Quoting Hans-Wolfgang Loidl :

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