معرفی شرکت ها


libbdd-dev_2.4+dfsg-1_armhf.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Binary decision-diagram library (development)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main armhf
نام بسته libbdd-dev
نام فایل بسته libbdd-dev_2.4+dfsg-1_armhf.deb
نسخه بسته 2.4+dfsg
انتشار بسته 1
معماری بسته armhf
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://buddy.sourceforge.net/manual/main.html
مجوز -
حجم دانلود 298668
حجم نصب 734
Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more. . libbdd-dev is the BuDDy development package containing a static library and the include files needed for building applications using BuDDy.


جایگزین ها

بسته نسخه معماری مخزن
libbdd-dev_2.4+dfsg-1_amd64.deb 2.4+dfsg amd64 Debian main
libbdd-dev_2.4+dfsg-1_arm64.deb 2.4+dfsg arm64 Debian main
libbdd-dev_2.4+dfsg-1_armel.deb 2.4+dfsg armel Debian main
libbdd-dev_2.4+dfsg-1_i386.deb 2.4+dfsg i386 Debian main
libbdd-dev_2.4+dfsg-1_mips64el.deb 2.4+dfsg mips64el Debian main
libbdd-dev_2.4+dfsg-1_mipsel.deb 2.4+dfsg mipsel Debian main
libbdd-dev_2.4+dfsg-1_ppc64el.deb 2.4+dfsg ppc64el Debian main
libbdd-dev_2.4+dfsg-1_s390x.deb 2.4+dfsg s390x Debian main


نیازمندی

مقدار نام
= 2.4+dfsg-1 libbdd0c2
- libc6-dev | libc-dev


نحوه نصب


نصب پکیج deb libbdd-dev:

    sudo apt-get install libbdd-dev_2.4+dfsg-1_armhf.deb


فایل ها

مسیرها
./usr/include/bdd.h
./usr/include/bvec.h
./usr/include/fdd.h
./usr/lib/arm-linux-gnueabihf/libbdd.a
./usr/share/doc/libbdd-dev/README.Debian
./usr/share/doc/libbdd-dev/README.gz
./usr/share/doc/libbdd-dev/bddnotes.ps.gz
./usr/share/doc/libbdd-dev/changelog.Debian.gz
./usr/share/doc/libbdd-dev/changelog.gz
./usr/share/doc/libbdd-dev/copyright
./usr/share/doc/libbdd-dev/examples/Makefile.am
./usr/share/doc/libbdd-dev/examples/Makefile.def
./usr/share/doc/libbdd-dev/examples/Makefile.in
./usr/share/doc/libbdd-dev/examples/adder/adder.cxx
./usr/share/doc/libbdd-dev/examples/adder/expected
./usr/share/doc/libbdd-dev/examples/adder/runtest
./usr/share/doc/libbdd-dev/examples/bddcalc/example.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/c1355.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/c1908.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/c2670.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/c3540.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/c432.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/c499.cal
./usr/share/doc/libbdd-dev/examples/bddcalc/examples/readme
./usr/share/doc/libbdd-dev/examples/bddcalc/expected
./usr/share/doc/libbdd-dev/examples/bddcalc/hashtbl.cxx
./usr/share/doc/libbdd-dev/examples/bddcalc/hashtbl.h
./usr/share/doc/libbdd-dev/examples/bddcalc/lexer.cxx
./usr/share/doc/libbdd-dev/examples/bddcalc/lexer.lxx
./usr/share/doc/libbdd-dev/examples/bddcalc/parser.cxx
./usr/share/doc/libbdd-dev/examples/bddcalc/parser.h
./usr/share/doc/libbdd-dev/examples/bddcalc/parser.yxx
./usr/share/doc/libbdd-dev/examples/bddcalc/parser_.h
./usr/share/doc/libbdd-dev/examples/bddcalc/readme
./usr/share/doc/libbdd-dev/examples/bddcalc/runtest
./usr/share/doc/libbdd-dev/examples/bddcalc/slist.h
./usr/share/doc/libbdd-dev/examples/bddtest/bddtest.cxx
./usr/share/doc/libbdd-dev/examples/bddtest/expected
./usr/share/doc/libbdd-dev/examples/bddtest/runtest
./usr/share/doc/libbdd-dev/examples/cmilner/cmilner.c
./usr/share/doc/libbdd-dev/examples/cmilner/expected
./usr/share/doc/libbdd-dev/examples/cmilner/readme
./usr/share/doc/libbdd-dev/examples/cmilner/runtest
./usr/share/doc/libbdd-dev/examples/fdd/expected
./usr/share/doc/libbdd-dev/examples/fdd/fdd.cxx
./usr/share/doc/libbdd-dev/examples/fdd/runtest
./usr/share/doc/libbdd-dev/examples/milner/expected
./usr/share/doc/libbdd-dev/examples/milner/milner.cxx
./usr/share/doc/libbdd-dev/examples/milner/readme
./usr/share/doc/libbdd-dev/examples/milner/runtest
... and 15 more