معرفی شرکت ها
yices-doc-2.6.4-7.fc39.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything noarch |
| نام بسته | yices-doc |
| نام فایل بسته | yices-doc-2.6.4-7.fc39.noarch.rpm |
| نسخه بسته | 2.6.4 |
| انتشار بسته | 7.fc39 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Sat 22 Jul 2023 11 |
| هاست سازنده | buildvm-x86-26.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://yices.csl.sri.com/ |
| مجوز | GPL-3.0-or-later AND BSD-2-Clause AND MIT AND OFL-1.1-RFN AND Knuth-CTAN AND LPPL-1.0 AND AGPL-3.0-only |
| حجم دانلود | 1.5M |
| حجم نصب | 20.857M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| yices-doc-2.6.4-8.fc39.noarch.rpm | 2.6.4 | noarch | Fedora Everything |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 2.6.4-7.fc39 | yices-doc |
نحوه نصب
نصب پکیج rpm yices-doc:
dnf install yices-doc-2.6.4-7.fc39.noarch.rpm
فایل ها
| مسیرها |
|---|
| /usr/share/doc/yices-doc |
| /usr/share/doc/yices-doc/examples |
| /usr/share/doc/yices-doc/examples/abs_axiom.smt2 |
| /usr/share/doc/yices-doc/examples/abs_axiom2.smt2 |
| /usr/share/doc/yices-doc/examples/abs_test1.smt2 |
| /usr/share/doc/yices-doc/examples/abs_test2.smt2 |
| /usr/share/doc/yices-doc/examples/abs_test3.smt2 |
| /usr/share/doc/yices-doc/examples/abs_test4.smt2 |
| /usr/share/doc/yices-doc/examples/abs_test5.smt2 |
| /usr/share/doc/yices-doc/examples/abs_test6.smt2 |
| /usr/share/doc/yices-doc/examples/adria |
| /usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys |
| /usr/share/doc/yices-doc/examples/adria/example.efyices |
| /usr/share/doc/yices-doc/examples/adria/example_1_implication.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_1_implication.ys |
| /usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.ys |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys |
| /usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.ys |
| /usr/share/doc/yices-doc/examples/adria/example_distr.efyices |
| /usr/share/doc/yices-doc/examples/adria/example_distr.efyices.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.smt2 |
| /usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.ys |
| /usr/share/doc/yices-doc/examples/adria/test-eval.ys |
| /usr/share/doc/yices-doc/examples/adria/test-show-model.ys |
| /usr/share/doc/yices-doc/examples/adria/test.ys |
| /usr/share/doc/yices-doc/examples/adria/test2.ys |
| /usr/share/doc/yices-doc/examples/adria/test3.ys |
| /usr/share/doc/yices-doc/examples/arith_mix.ys |
| /usr/share/doc/yices-doc/examples/ashish-assert.txt |
| /usr/share/doc/yices-doc/examples/ashish-full.txt |
| /usr/share/doc/yices-doc/examples/ashish-full1.tx2.txt |
| /usr/share/doc/yices-doc/examples/ashish-full1.txt |
| /usr/share/doc/yices-doc/examples/babic2-bool.ys |
| /usr/share/doc/yices-doc/examples/bool_eqs.ys |
| /usr/share/doc/yices-doc/examples/bool_eqs2.ys |
| /usr/share/doc/yices-doc/examples/bool_eqs3.ys |
| /usr/share/doc/yices-doc/examples/bool_eqs4.ys |
| /usr/share/doc/yices-doc/examples/bv_add20.ys |
| /usr/share/doc/yices-doc/examples/bv_add20_bool.ys |
| /usr/share/doc/yices-doc/examples/bv_cycle.smt |
| /usr/share/doc/yices-doc/examples/bv_cycle2.smt |
| ... and 412 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-07-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
| 2023-01-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-28 |
Regenerate the cudd configure script to fix FTBFS
|
| 2022-11-28 |
Get rid of an implicit int function declaration in a configure check
|
| 2022-07-23 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-01-22 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2022-01-11 |
Build with kissat support
|
| 2021-10-25 |
Version 2.6.4
|
| 2021-07-23 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|