buddy-2.4-3-x86_64.pkg.tar.xz


Advertisement

Description

buddy - Binary Decision Diagram Library

Distribution: Arch Linux
Repository: Arch Linux Community x86_64
Package name: buddy
Package version: 2.4
Package release: 3
Package architecture: x86_64
Package type: xz
Installed size: 160.00 KB
Download size: 54.30 KB
Official Mirror: ftp5.gwdg.de
Binary Decision Diagram Library. Packager: Felix Yan <felixonmars@archlinux.org>. License: custom

Alternatives

Requires

    Download

    Source package: unknown

    Install Howto

    1. Enable the community repository on /etc/pacman.conf:
      [community]
      Include = /etc/pacman.d/mirrorlist
      
    2. Install buddy xz package:
      # pacman -Sy buddy

    Files

    • /usr/
    • /usr/include/bdd.h
    • /usr/include/bvec.h
    • /usr/include/fdd.h
    • /usr/lib/libbdd.so
    • /usr/lib/libbdd.so.0
    • /usr/lib/libbdd.so.0.0.0
    • /usr/share/
    • /usr/share/licenses/
    • /usr/share/licenses/buddy/README
    Advertisement
    Advertisement