www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Binary Decision Diagrams

--0016e6da98cbb724d104a88cd9c7
Content-Type: text/plain; charset=ISO-8859-1

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

--0016e6da98cbb724d104a88cd9c7
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div>Greetings</div><div><br></div><div>Is there some BDD library port to D=
? Is anybody working on such stuff?</div><div><br></div><div>Please let me =
know. I need a good BDD library in D. If there is no such existing work, I =
plan to port buddy <a href=3D"http://buddy.sourceforge.net/manual/main.html=
">http://buddy.sourceforge.net/manual/main.html</a> to D myself.</div>

<div><br></div><div>Regards</div><div>- Puneet</div>

--0016e6da98cbb724d104a88cd9c7--
Jul 20 2011