معرفی شرکت ها


libbrial3_1.2.11-2.1_armel.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

polynomials over Boolean Rings, shared library
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main armel
نام بسته libbrial3
نام فایل بسته libbrial3_1.2.11-2.1_armel.deb
نسخه بسته 1.2.11
انتشار بسته 2.1
معماری بسته armel
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/BRiAl
مجوز -
حجم دانلود 130688
حجم نصب 487
The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation. . This package contains the BRiAl shared library libbrial.


جایگزین ها

بسته نسخه معماری مخزن
libbrial3_1.2.11-2.1_amd64.deb 1.2.11 amd64 Debian main
libbrial3_1.2.11-2.1_arm64.deb 1.2.11 arm64 Debian main
libbrial3_1.2.11-2.1_armhf.deb 1.2.11 armhf Debian main
libbrial3_1.2.11-2.1_i386.deb 1.2.11 i386 Debian main
libbrial3_1.2.11-2.1_mips64el.deb 1.2.11 mips64el Debian main
libbrial3_1.2.11-2.1_mipsel.deb 1.2.11 mipsel Debian main
libbrial3_1.2.11-2.1_ppc64el.deb 1.2.11 ppc64el Debian main
libbrial3_1.2.11-2.1_s390x.deb 1.2.11 s390x Debian main


نیازمندی

مقدار نام
>= 2.32 libc6
>= 3.5 libgcc-s1
>= 11 libstdc++6


نحوه نصب


نصب پکیج deb libbrial3:

    sudo apt-get install libbrial3_1.2.11-2.1_armel.deb


فایل ها

مسیرها
./usr/lib/arm-linux-gnueabi/libbrial.so.3.0.7
./usr/share/doc/libbrial3/changelog.Debian.gz
./usr/share/doc/libbrial3/copyright
./usr/lib/arm-linux-gnueabi/libbrial.so.3 -> libbrial.so.3.0.7