---
name: buddy
version: 2.4_1
origin: science/buddy
comment: A Binary Decision Diagram library
arch: freebsd:10:x86:64
www: http://buddy.sourceforge.net/
maintainer: llwang@infor.org
prefix: /usr/local
licenselogic: single
flatsize: 1706387
desc: "BuDDY is a Binary Decision Diagram library, with: many highly efficient\nvectorized
  BDD operations, dynamic variable reordering, automated\ngarbage collection, a C++
  interface with automatic reference counting,\nand much more.\n\nAuthor:\tJorn Lind-Nielsen
  - Original Developer\n\tHaim Cohen <haimcohen@users.sourceforge.net>\n\nWWW:\thttp://buddy.sourceforge.net/\n"
categories:
- science
shlibs_provided:
- libbdd.so.0
