معرفی شرکت ها

cvc5-libs-1.1.1-1.fc39.x86_64.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 x86_64
نام بسته cvc5-libs
نام فایل بسته cvc5-libs-1.1.1-1.fc39.x86_64.rpm
نسخه بسته 1.1.1
انتشار بسته 1.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 20 Feb 2024 09
هاست سازنده buildhw-x86-04.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://cvc5.github.io/
مجوز BSD-3-Clause AND MIT
حجم دانلود 5.6M
حجم نصب 17.850M
Library containing the core of the cvc5 automatic theorem prover for SMT problems.


جایگزین ها

بسته نسخه معماری مخزن
cvc5-libs-1.0.8-1.fc39.aarch64.rpm 1.0.8 aarch64 Fedora Everything
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-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-x86-64.so.2()(64bit)
- ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
- 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.32)(64bit)
- libc.so.6(GLIBC_2.38)(64bit)
- libc.so.6(GLIBC_2.4)(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.8)(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.1.1-1.fc39 cvc5-libs
= 1.1.1-1.fc39 cvc5-libs(x86-64)
- libcvc5.so.1()(64bit)
- libcvc5parser.so.1()(64bit)


نحوه نصب


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

    dnf install cvc5-libs-1.1.1-1.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/a4d65349152e3a3dbed487a7d1d95640b64f10
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/f62fff2938580f8cf0b42ab8fc5d9718823b18
/usr/lib64/libcvc5.so.1
/usr/lib64/libcvc5parser.so.1
/usr/share/licenses/cvc5-libs


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

تاریخ آخرین تغییر جزئیات
2024-02-20

Version 1.1.1

2024-01-10

Version 1.1.0
Fix symbol visibility issue (rhbz#2256948)
Skip regression tests until alfc can be packaged

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