معرفی شرکت ها

cvc4-libs-1.8-12.fc37.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 37
مخزن Fedora Everything x86_64
نام بسته cvc4-libs
نام فایل بسته cvc4-libs-1.8-12.fc37.x86_64.rpm
نسخه بسته 1.8
انتشار بسته 12.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 04
هاست سازنده buildvm-x86-30.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://cvc4.github.io/
مجوز Boost and BSD and MIT
حجم دانلود 5.2M
حجم نصب 17.583M
Library containing the core of the cvc4 automatic theorem prover for SMT problems.


جایگزین ها

بسته نسخه معماری مخزن
cvc4-libs-1.8-12.fc37.aarch64.rpm 1.8 aarch64 Fedora Everything
cvc4-libs-1.8-13.fc37.aarch64.rpm 1.8 aarch64 Fedora Everything
cvc4-libs-1.8-13.fc37.x86_64.rpm 1.8 x86_64 Fedora Everything
cvc4-libs-debuginfo-1.8-12.fc37.aarch64.rpm 1.8 aarch64 Fedora Everything
cvc4-libs-debuginfo-1.8-12.fc37.x86_64.rpm 1.8 x86_64 Fedora Everything
cvc4-libs-debuginfo-1.8-13.fc37.aarch64.rpm 1.8 aarch64 Fedora Everything
cvc4-libs-debuginfo-1.8-13.fc37.x86_64.rpm 1.8 x86_64 Fedora Everything


نیازمندی

مقدار نام
- ld-linux-x86-64.so.2()(64bit)
- ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
- libabc.so.0()(64bit)
- libantlr3c.so()(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.17)(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.33)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libcadical.so.0()(64bit)
- libcryptominisat5.so.5.8()(64bit)
- libcvc4.so.7()(64bit)
- libdrat2er.so.0()(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)
- liblfscc.so.0()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.29)(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.8)(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.20)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(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.9)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.8-12.fc37 cvc4-libs
= 1.8-12.fc37 cvc4-libs(x86-64)
- libcvc4.so.7()(64bit)
- libcvc4parser.so.7()(64bit)


نحوه نصب


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

    dnf install cvc4-libs-1.8-12.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/c74aa6d337690590d1eafddd971ad2c5659719
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/1fc23e869f3a194a71154e7f0dbcbfc09a0f36
/usr/lib64/libcvc4.so.7
/usr/lib64/libcvc4parser.so.7
/usr/share/licenses/cvc4-libs


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

تاریخ آخرین تغییر جزئیات
2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-19

Drop support for i686 due to ANTLR unavailability

2022-06-13

Rebuilt for Python 3.11

2022-03-04

Remove . from %cmake invocation to fix FTBFS (rhbz#2060821)
Drop -const-map-key patch now that gcc has been fixed

2022-02-05

Rebuilt for java-17-openjdk as system jdk

2022-01-22

Add -const-map-key patch to fix FTBFS

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
Use the default linker

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-06-04

Rebuilt for Python 3.10

2021-06-02

Remove spurious rpaths (bz 1967190)
Fix broken jar symlink
Add missing executable bit to python shared object

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2021-01-20

Add -dup-decl patch to fix FTBFS with recent LFSC versions

2020-11-27

Rebuild for cryptominisat 5.8.0

2020-08-03

Version 1.8
Drop upstreamed patches: -abc, -swig4, -drat
Run the testsuite on 64-bit architectures only

2020-08-01

Second attempt - Rebuilt for

2020-07-27

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild