معرفی شرکت ها
cvc5-1.0.8-1.fc39.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | cvc5 |
| نام فایل بسته | cvc5-1.0.8-1.fc39.x86_64.rpm |
| نسخه بسته | 1.0.8 |
| انتشار بسته | 1.fc39 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Sat 16 Sep 2023 02 |
| هاست سازنده | buildhw-x86-08.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://cvc5.github.io/ |
| مجوز | BSD-3-Clause AND MIT |
| حجم دانلود | 116K |
| حجم نصب | 391.546K |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| = 1.0.8-1.fc39 | cvc5-libs(x86-64) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.14)(64bit) |
| - | libc.so.6(GLIBC_2.2.5)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libc.so.6(GLIBC_2.4)(64bit) |
| - | libcvc5.so.1()(64bit) |
| - | libcvc5parser.so.1()(64bit) |
| - | libedit.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) |
| - | libstdc++.so.6()(64bit) |
| - | libstdc++.so.6(CXXABI_1.3)(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.21)(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) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 2.2.0 | bundled(minisat2) |
| = 1.0.8-1.fc39 | cvc5 |
| = 1.0.8-1.fc39 | cvc5(x86-64) |
نحوه نصب
نصب پکیج rpm cvc5:
dnf install cvc5-1.0.8-1.fc39.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/cvc5 |
| /usr/lib/.build-id |
| /usr/lib/.build-id/e5 |
| /usr/lib/.build-id/e5/26630963456383c16d7498aa0574780de78cd5 |
| /usr/share/doc/cvc5 |
| /usr/share/doc/cvc5/AUTHORS |
| /usr/share/doc/cvc5/NEWS.md |
| /usr/share/doc/cvc5/README.md |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-09-15 |
Version 1.0.8
|
| 2023-08-09 |
Build with yosyshq-abc instead of abc
|
| 2023-07-29 |
Initial RPM
|