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