معرفی شرکت ها

cvc5-libs-1.0.8-1.fc39.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Library containing an automatic theorem prover for SMT problems
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته cvc5-libs
نام فایل بسته cvc5-libs-1.0.8-1.fc39.aarch64.rpm
نسخه بسته 1.0.8
انتشار بسته 1.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Sat 16 Sep 2023 02
هاست سازنده buildvm-a64-20.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://cvc5.github.io/
مجوز BSD-3-Clause AND MIT
حجم دانلود 4.5M
حجم نصب 12.954M
Library containing the core of the cvc5 automatic theorem prover for SMT problems.


جایگزین ها

بسته نسخه معماری مخزن
cvc5-libs-1.0.8-1.fc39.x86_64.rpm 1.0.8 x86_64 Fedora Everything
cvc5-libs-1.1.1-1.fc39.aarch64.rpm 1.1.1 aarch64 Fedora Everything
cvc5-libs-1.1.1-1.fc39.x86_64.rpm 1.1.1 x86_64 Fedora Everything
cvc5-libs-debuginfo-1.0.8-1.fc39.aarch64.rpm 1.0.8 aarch64 Fedora Everything
cvc5-libs-debuginfo-1.0.8-1.fc39.x86_64.rpm 1.0.8 x86_64 Fedora Everything
cvc5-libs-debuginfo-1.1.1-1.fc39.aarch64.rpm 1.1.1 aarch64 Fedora Everything
cvc5-libs-debuginfo-1.1.1-1.fc39.x86_64.rpm 1.1.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.38)(64bit)
- libcadical.so.0()(64bit)
- libcocoa.so.0()(64bit)
- libcryptominisat5.so.5.8()(64bit)
- libcvc5.so.1()(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)
- libkissat.so.0()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libpoly.so.0()(64bit)
- libpolyxx.so.0()(64bit)
- libstdc++.so.6()(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.5)(64bit)
- libstdc++.so.6(CXXABI_1.3.7)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.0.8-1.fc39 cvc5-libs
= 1.0.8-1.fc39 cvc5-libs(aarch-64)
- libcvc5.so.1()(64bit)
- libcvc5parser.so.1()(64bit)


نحوه نصب


نصب پکیج rpm cvc5-libs:

    dnf install cvc5-libs-1.0.8-1.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/73
/usr/lib/.build-id/73/bc835353202b8f65e113f2f0b2d08169a2c8d4
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/9624327789267b00d43d917ab687ab06212790
/usr/lib64/libcvc5.so.1
/usr/lib64/libcvc5parser.so.1
/usr/share/licenses/cvc5-libs


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

تاریخ آخرین تغییر جزئیات
2023-09-15

Version 1.0.8
Remove dependency on antlr3
Drop upstreamed patches: antlr3, toml, vec

2023-08-09

Build with yosyshq-abc instead of abc

2023-07-29

Initial RPM