Bug#148764: ITP: buddy -- Shared library for manipulating Binary-decision diagrams
Package: wnpp
Version: N/A; reported 2002-06-01
Severity: wishlist
* Package name : buddy
Version : 2.0
Upstream Author : Jorn Lind-Nielsen <buddy@itu.dk>
* URL : http://www.it-c.dk/research/buddy
* License : very free (see below)
Description : Shared library for manipulating Binary-decision diagrams
BuDDy (libbdd) is an efficient Binary-Decision-Diagram (BDD)
library with all the standard BDD operations and reordering.
I have provided a source package (buddy) at
deb ftp://ftp.diku.dk/diku/users/jpsecher/debian/ woody main non-free contrib
I have provided binary packages (libbdd0 and libbdd-dev) at
deb-src ftp://ftp.diku.dk/diku/users/jpsecher/debian/ woody main non-free contrib
License:
Copyright (C) 1996-2001 by Jorn Lind-Nielsen, All rights reserved
Permission is hereby granted, without written agreement and without
license or royalty fees, to use, reproduce, prepare derivative
works, distribute, and display this software and its documentation
for any purpose, provided that (1) the above copyright notice and
the following two paragraphs appear in all copies of the source code
and (2) redistributions, including without limitation binaries,
reproduce these notices in the supporting documentation. Substantial
modifications to this software may be copyrighted by their authors
and need not follow the licensing terms described here, provided
that the new terms are clearly indicated in all files where they apply.
IN NO EVENT SHALL JORN LIND-NIELSEN, OR DISTRIBUTORS OF THIS
SOFTWARE BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL,
INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS
SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE AUTHORS OR ANY OF THE
ABOVE PARTIES HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
JORN LIND-NIELSEN SPECIFICALLY DISCLAIM ANY WARRANTIES, INCLUDING,
BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
ON AN "AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS HAVE NO
OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
MODIFICATIONS.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux valkyrie 2.4.17 #1 Wed Feb 13 20:43:32 CET 2002 i686
Locale: LANG=C, LC_CTYPE=C
--
To UNSUBSCRIBE, email to debian-wnpp-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: