معرفی شرکت ها


libbdd-dev_2.4+dfsg-1_amd64.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 amd64
نام بسته libbdd-dev
نام فایل بسته libbdd-dev_2.4+dfsg-1_amd64.deb
نسخه بسته 2.4+dfsg
انتشار بسته 1
معماری بسته amd64
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://buddy.sourceforge.net/manual/main.html
مجوز -
حجم دانلود 304600
حجم نصب 832
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_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_armhf.deb 2.4+dfsg armhf 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_amd64.deb


فایل ها

مسیرها
./usr/include/bdd.h
./usr/include/bvec.h
./usr/include/fdd.h
./usr/lib/x86_64-linux-gnu/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