معرفی شرکت ها

libbdd0c2_2.4-11+b3_armhf.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Binary decision-diagram library (runtime)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main armhf
نام بسته libbdd0c2
نام فایل بسته libbdd0c2_2.4-11+b3_armhf.deb
نسخه بسته 2.4
انتشار بسته 11+b3
معماری بسته armhf
نگهدارنده Debian QA Group <packages@qa.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://buddy.sourceforge.net
مجوز -
حجم دانلود 47228
حجم نصب 93
Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.


جایگزین ها

بسته نسخه معماری مخزن
libbdd0c2_2.4-11+b3_amd64.deb 2.4 amd64 Debian main
libbdd0c2_2.4-11+b3_arm64.deb 2.4 arm64 Debian main
libbdd0c2_2.4-11+b3_armel.deb 2.4 armel Debian main
libbdd0c2_2.4-11+b3_i386.deb 2.4 i386 Debian main
libbdd0c2_2.4-11+b3_mips64el.deb 2.4 mips64el Debian main
libbdd0c2_2.4-11+b3_mipsel.deb 2.4 mipsel Debian main
libbdd0c2_2.4-11+b3_ppc64el.deb 2.4 ppc64el Debian main
libbdd0c2_2.4-11+b3_s390x.deb 2.4 s390x Debian main


نیازمندی

مقدار نام
>= 2.11 libc6
>= 1:3.5 libgcc1
>= 4.9 libstdc++6


نحوه نصب


نصب پکیج deb libbdd0c2:

    sudo apt-get install libbdd0c2_2.4-11+b3_armhf.deb


فایل ها

مسیرها
./usr/lib/libbdd.so.0.0.0
./usr/share/doc/libbdd0c2/AUTHORS
./usr/share/doc/libbdd0c2/NEWS.gz
./usr/share/doc/libbdd0c2/changelog.Debian.armhf.gz
./usr/share/doc/libbdd0c2/changelog.Debian.gz
./usr/share/doc/libbdd0c2/changelog.gz
./usr/share/doc/libbdd0c2/copyright
./usr/lib/libbdd.so.0 -> libbdd.so.0.0.0