From owner-freebsd-ports-bugs@FreeBSD.ORG  Mon Sep 20 20:50:28 2004
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@hub.freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 2ECBC16A4CE
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Mon, 20 Sep 2004 20:50:28 +0000 (GMT)
Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 21B3F43D1D
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Mon, 20 Sep 2004 20:50:28 +0000 (GMT)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1])
	i8KKoSXU088179	for <freebsd-ports-bugs@freefall.freebsd.org>;
	Mon, 20 Sep 2004 20:50:28 GMT
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.12.11/8.12.11/Submit) id i8KKoR5w088178;
	Mon, 20 Sep 2004 20:50:27 GMT
	(envelope-from gnats)
Date: Mon, 20 Sep 2004 20:50:27 GMT
Message-Id: <200409202050.i8KKoR5w088178@freefall.freebsd.org>
To: freebsd-ports-bugs@FreeBSD.org
From: "Li-Lun Wang (Leland Wang)" <llwang@infor.org>
Subject: Re: ports/71221: new port: science/buddy - A Binary Decision
	Diagram library
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
Reply-To: "Li-Lun Wang \(Leland Wang\)" <llwang@infor.org>
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 20 Sep 2004 20:50:28 -0000

The following reply was made to PR ports/71221; it has been noted by GNATS.

From: "Li-Lun Wang (Leland Wang)" <llwang@infor.org>
To: FreeBSD-gnats-submit@FreeBSD.org, freebsd-ports-bugs@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@infor.org