معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

C library for manipulating polynomials

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	libpoly
نام فایل بسته	libpoly-0.1.11-5.fc38.x86_64.rpm
نسخه بسته	0.1.11
انتشار بسته	5.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Thu 19 Jan 2023 10
هاست سازنده	buildvm-x86-22.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://sri-csl.github.io/libpoly/
مجوز	LGPL-3.0-or-later
حجم دانلود	186K
حجم نصب	588.573K

LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints.

جایگزین ها

بسته	نسخه	معماری	مخزن
libpoly-0.1.11-5.fc38.aarch64.rpm	0.1.11	aarch64	Fedora Everything
libpoly-0.1.11-5.fc38.i686.rpm	0.1.11	i686	Fedora Everything
libpoly-0.1.11-5.fc38.src.rpm	0.1.11	i686	Fedora Everything
libpoly-debuginfo-0.1.11-5.fc38.aarch64.rpm	0.1.11	aarch64	Fedora Everything
libpoly-debuginfo-0.1.11-5.fc38.i686.rpm	0.1.11	i686	Fedora Everything
libpoly-debuginfo-0.1.11-5.fc38.x86_64.rpm	0.1.11	x86_64	Fedora Everything
libpoly-debugsource-0.1.11-5.fc38.aarch64.rpm	0.1.11	aarch64	Fedora Everything
libpoly-debugsource-0.1.11-5.fc38.i686.rpm	0.1.11	i686	Fedora Everything
libpoly-debugsource-0.1.11-5.fc38.x86_64.rpm	0.1.11	x86_64	Fedora Everything
libpoly-devel-0.1.11-5.fc38.aarch64.rpm	0.1.11	aarch64	Fedora Everything
libpoly-devel-0.1.11-5.fc38.i686.rpm	0.1.11	i686	Fedora Everything
libpoly-devel-0.1.11-5.fc38.x86_64.rpm	0.1.11	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.14)(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libgcc_s.so.1()(64bit)
-	libgcc_s.so.1(GCC_3.0)(64bit)
-	libgcc_s.so.1(GCC_3.3.1)(64bit)
-	libgmp.so.10()(64bit)
-	libpoly.so.0()(64bit)
-	libstdc++.so.6()(64bit)
-	libstdc++.so.6(CXXABI_1.3)(64bit)
-	libstdc++.so.6(CXXABI_1.3.8)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.1.11-5.fc38	libpoly
= 0.1.11-5.fc38	libpoly(x86-64)
-	libpoly.so.0()(64bit)
-	libpolyxx.so.0()(64bit)

نحوه نصب

نصب پکیج rpm libpoly:

dnf install libpoly-0.1.11-5.fc38.x86_64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/9ca73fe835751f211272b7d43266d6cfb3892d
/usr/lib/.build-id/de
/usr/lib/.build-id/de/63b0824fd9c5c1452b18bba449ffc28d323b74
/usr/lib64/libpoly.so.0
/usr/lib64/libpoly.so.0.1.11
/usr/lib64/libpolyxx.so.0
/usr/lib64/libpolyxx.so.0.1.11
/usr/share/doc/libpoly
/usr/share/doc/libpoly/README.md
/usr/share/licenses/libpoly

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-11-28	Convert License tag to SPDX
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-17	Rebuilt for Python 3.11
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-10-25	Version 0.1.11 Enable tests for 32-bit platforms
2021-07-26	Version 0.1.10
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-06-04	Rebuilt for Python 3.10
2021-04-13	Version 0.1.9
2021-01-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild