معرفی شرکت ها

libbrial3_1.2.7-1build1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

polynomials over Boolean Rings, shared library
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته libbrial3
نام فایل بسته libbrial3_1.2.7-1build1_amd64.deb
نسخه بسته 1.2.7
انتشار بسته 1build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/BRiAl
مجوز -
حجم دانلود 173476
حجم نصب 630
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.


نیازمندی

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


نحوه نصب


نصب پکیج deb libbrial3:

    sudo apt-get install libbrial3_1.2.7-1build1_amd64.deb


فایل ها

مسیرها
./usr/lib/x86_64-linux-gnu/libbrial.so.3.0.3
./usr/share/doc/libbrial3/changelog.Debian.gz
./usr/share/doc/libbrial3/copyright
./usr/lib/x86_64-linux-gnu/libbrial.so.3 -> libbrial.so.3.0.3