The FreeBSD Ports Archive

FreeBSD science : buddy

A Binary Decision Diagram library

 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.

Author:	Jorn Lind-Nielsen - Original Developer
	Haim Cohen 
 

buddy history

v. 1.6
date: 2007/01/27 08:47:26;  author: kris;  state: Exp;  lines: +1 -0
Use libtool port instead of included one to avoid objformat a.out botch

v. 1.5
date: 2006/02/23 10:38:48;  author: ade;  state: Exp;  lines: +2 -1
Conversion to a single libtool environment.

Approved by:	portmgr (kris)

v. 1.4
date: 2005/11/15 06:50:51;  author: ade;  state: Exp;  lines: +1 -1
Mass-conversion to the USE_AUTOTOOLS New World Order.  The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.

Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.

Preliminary documentation can be found at:
	http://people.FreeBSD.org/~ade/autotools.txt

which is in the process of being SGMLized before introduction into the
Porters Handbook.

Light blue touch-paper.  Run.

v. 1.3
date: 2005/04/12 03:26:25;  author: obrien;  state: Exp;  lines: +1 -1
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.

v. 1.2
date: 2005/04/11 08:03:50;  author: obrien;  state: Exp;  lines: +1 -1
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.

v. 1.1
date: 2005/01/22 15:01:02;  author: thierry;  state: Exp;
Add buddy 2.4, a Binary Decision Diagram library.

PR:		71221
Submitted by:	Leland Wang
=============================================================================


v. 1.6
date: 2007/01/27 08:47:26;  author: kris;  state: Exp;  lines: +1 -0
Use libtool port instead of included one to avoid objformat a.out botch

v. 1.5
date: 2006/02/23 10:38:48;  author: ade;  state: Exp;  lines: +2 -1
Conversion to a single libtool environment.

Approved by:	portmgr (kris)

v. 1.4
date: 2005/11/15 06:50:51;  author: ade;  state: Exp;  lines: +1 -1
Mass-conversion to the USE_AUTOTOOLS New World Order.  The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.

Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.

Preliminary documentation can be found at:
	http://people.FreeBSD.org/~ade/autotools.txt

which is in the process of being SGMLized before introduction into the
Porters Handbook.

Light blue touch-paper.  Run.

v. 1.3
date: 2005/04/12 03:26:25;  author: obrien;  state: Exp;  lines: +1 -1
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.

v. 1.2
date: 2005/04/11 08:03:50;  author: obrien;  state: Exp;  lines: +1 -1
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.

v. 1.1
date: 2005/01/22 15:01:02;  author: thierry;  state: Exp;
Add buddy 2.4, a Binary Decision Diagram library.

PR:		71221
Submitted by:	Leland Wang
=============================================================================


v. 1.6
date: 2007/01/27 08:47:26;  author: kris;  state: Exp;  lines: +1 -0
Use libtool port instead of included one to avoid objformat a.out botch

v. 1.5
date: 2006/02/23 10:38:48;  author: ade;  state: Exp;  lines: +2 -1
Conversion to a single libtool environment.

Approved by:	portmgr (kris)

v. 1.4
date: 2005/11/15 06:50:51;  author: ade;  state: Exp;  lines: +1 -1
Mass-conversion to the USE_AUTOTOOLS New World Order.  The code present
in bsd.autotools.mk essentially makes this a no-op given that all the
old variables set a USE_AUTOTOOLS_COMPAT variable, which is parsed in
exactly the same way as USE_AUTOTOOLS itself.

Moreover, USE_AUTOTOOLS has already been extensively tested by the GNOME
team -- all GNOME 2.12.x ports use it.

Preliminary documentation can be found at:
	http://people.FreeBSD.org/~ade/autotools.txt

which is in the process of being SGMLized before introduction into the
Porters Handbook.

Light blue touch-paper.  Run.

v. 1.3
date: 2005/04/12 03:26:25;  author: obrien;  state: Exp;  lines: +1 -1
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.

v. 1.2
date: 2005/04/11 08:03:50;  author: obrien;  state: Exp;  lines: +1 -1
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.

v. 1.1
date: 2005/01/22 15:01:02;  author: thierry;  state: Exp;
Add buddy 2.4, a Binary Decision Diagram library.

PR:		71221
Submitted by:	Leland Wang
=============================================================================