معرفی شرکت ها


libbdd0c2_2.4+dfsg-1_arm64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Binary decision-diagram library (runtime)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main arm64
نام بسته libbdd0c2
نام فایل بسته libbdd0c2_2.4+dfsg-1_arm64.deb
نسخه بسته 2.4+dfsg
انتشار بسته 1
معماری بسته arm64
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://buddy.sourceforge.net/manual/main.html
مجوز -
حجم دانلود 52492
حجم نصب 152
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+dfsg-1_amd64.deb 2.4+dfsg amd64 Debian main
libbdd0c2_2.4+dfsg-1_armel.deb 2.4+dfsg armel Debian main
libbdd0c2_2.4+dfsg-1_armhf.deb 2.4+dfsg armhf Debian main
libbdd0c2_2.4+dfsg-1_i386.deb 2.4+dfsg i386 Debian main
libbdd0c2_2.4+dfsg-1_mips64el.deb 2.4+dfsg mips64el Debian main
libbdd0c2_2.4+dfsg-1_mipsel.deb 2.4+dfsg mipsel Debian main
libbdd0c2_2.4+dfsg-1_ppc64el.deb 2.4+dfsg ppc64el Debian main
libbdd0c2_2.4+dfsg-1_s390x.deb 2.4+dfsg s390x Debian main


نیازمندی

مقدار نام
>= 2.29 libc6
>= 3.0 libgcc-s1
>= 4.3 libstdc++6


نحوه نصب


نصب پکیج deb libbdd0c2:

    sudo apt-get install libbdd0c2_2.4+dfsg-1_arm64.deb


فایل ها

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