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: [EMAIL PROTECTED] D 80538 Munich URL: http://www.tcs.informatik.uni-muenchen.de/~hwloidl/
pgp00000.pgp
Description: PGP signature
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe