ports/71221: new port: science/buddy - A Binary Decision Diagram library
Li-Lun Wang (Leland Wang)
llwang at infor.org
Mon Sep 20 20:50:28 UTC 2004
The following reply was made to PR ports/71221; it has been noted by GNATS.
From: "Li-Lun Wang (Leland Wang)" <llwang at infor.org>
To: FreeBSD-gnats-submit at FreeBSD.org, freebsd-ports-bugs at FreeBSD.org
Cc:
Subject: Re: ports/71221: new port: science/buddy - A Binary Decision Diagram library
Date: Tue, 21 Sep 2004 04:41:03 +0800
I think math will be a more appropriate category than science, for BDD
is a diagram for logic decision.
--
/-------\ /-\ /--------\
\--\ /--/ | | \--\ /---/
| | /----/ \----\/--/ \---\
/-/ \-\ \----/ /----/\--\ /---/
\-\ /-/ / \ /--/ \---\
| | / /\ \ \--\ /---/ /\
/---/ \---\/-/ / \ \---\ | \----/ |
\---------/\--/ \----/ \--------/
e-mail address: llwang at infor.org
More information about the freebsd-ports-bugs
mailing list