ports/71221: new port: science/buddy - A Binary Decision Diagram library

Sat Jan 22 15:02:53 UTC 2005

Synopsis: new port: science/buddy - A Binary Decision Diagram library

State-Changed-From-To: open->closed
State-Changed-By: thierry
State-Changed-When: Sat Jan 22 15:01:30 GMT 2005
State-Changed-Why: 

New port added, thanks! (with some modifications)

Remark: what about building and installing the examples?

http://www.freebsd.org/cgi/query-pr.cgi?pr=71221