Binary Decision Diagrams

[d coder]

Greetings

Is there some BDD library port to D? Is anybody working on such stuff?

Please let me know. I need a good BDD library in D. If there is no such
existing work, I plan to port buddy
http://buddy.sourceforge.net/manual/main.html to D myself.

Regards
- Puneet
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20110721/61a4c452/attachment-0001.html>