Bug 71221

Summary: new port: science/buddy - A Binary Decision Diagram library
Product: Ports & Packages Reporter: Li-Lun Wang <llwang>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.shar none

Description Li-Lun Wang 2004-09-01 05:20:21 UTC 
New port science/buddy.

BuDDy is a Binary Decision Diagram library with many highly efficient
vectorized BDD operations, dynamic variable reordering, automated garbage
collection, a C++ interface with automatic reference counting, and much
more.

BuDDy is need by Maude, a high-performance reflective language and system
supporting both equational and rewriting logic specification and
programming for a wide range of applications. I am also making a port
for Maude, but there is a small bug in gcc 3.4. I have submitted a bug
report to gcc bugzilla. Maybe I should wait for the fixed gcc before I submit
the port for Maude.
Comment 1 Li-Lun Wang 2004-09-20 21:41:03 UTC 
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
Comment 2 Thierry Thomas freebsd_committer freebsd_triage 2005-01-22 15:01:30 UTC 
State Changed
From-To: open->closed


New port added, thanks! (with some modifications) 

Remark: what about building and installing the examples?