---
name: buddy
version: 2.4_1
origin: science/buddy
comment: A Binary Decision Diagram library
arch: freebsd:9:x86:64
www: http://buddy.sourceforge.net/
maintainer: llwang@infor.org
prefix: /usr/local
licenselogic: single
flatsize: 1697938
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]
files:
  /usr/local/include/bdd.h: 1255f1b5519a8dad17382a845177ea5c877302334d98b26bc8cf97f0798e0bc2
  /usr/local/include/bvec.h: 77fb299f465f3d43f1f76834f45e9b0adafc84ad08dcc13cfcf66297401f9e1f
  /usr/local/include/fdd.h: 4f57f4118f54a895fe65926bc1ef4510d726c492bf1782f8580c38b97a830d44
  /usr/local/lib/libbdd.a: 3936b393c4cd95aa2faf2f4a80e46413e4fa061af4fcfd27b7bb70a91d32d1de
  /usr/local/lib/libbdd.la: 62100823b910ce69bcd2e80739d3bbfc5598d4e038ab2381f5766ab86d9dd39f
  /usr/local/lib/libbdd.so: '-'
  /usr/local/lib/libbdd.so.0: 964fb4dee934c88b44f5755e27b3918167f8e2a963bc61f175ee3fd25a73f9cf
  /usr/local/share/doc/buddy/AUTHORS: 9577a58e58dca7ff066b6dbe09d5055109aa2e9d89d64718b610e6a4e393d715
  /usr/local/share/doc/buddy/README: e5db919554ff8576002062ab70e4bed076bca156d9d3909eff27f1df93394465
  /usr/local/share/doc/buddy/bddnotes.ps: 600ebbeb9d40063ddb6e0e6aea520c7a5f9ed39f71372796e36276e3e64d87b4
  /usr/local/share/doc/buddy/buddy.ps: 91986e174605e517e386eef533dd43182f4f62604c5ab1996baa64814f714a59
  /usr/local/share/doc/buddy/tech.txt: 0e57461be52de76adf8c38cf621c9a09144513a1756a2e1ad00f80ad25f21636
directories:
  /usr/local/share/doc/buddy/: n
scripts:
  post-install: |
    /sbin/ldconfig -m /usr/local/lib
  pre-deinstall: |
    /sbin/ldconfig -R
