معرفی شرکت ها

yices-2.6.4-6.fc38.i686.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

SMT solver
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything i686
نام بسته yices
نام فایل بسته yices-2.6.4-6.fc38.i686.rpm
نسخه بسته 2.6.4
انتشار بسته 6.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Sat 21 Jan 2023 11
هاست سازنده buildvm-x86-08.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز GPL-3.0-or-later and BSD-3-Clause
حجم دانلود 1.3M
حجم نصب 3.202M
Yices 2 is an efficient SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using the Yices 2 specification language, which includes tuples and scalar types. Yices 2 can also be used as a library in other software.


جایگزین ها

بسته نسخه معماری مخزن
yices-2.6.4-6.fc38.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-2.6.4-6.fc38.src.rpm 2.6.4 i686 Fedora Everything
yices-2.6.4-6.fc38.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-debuginfo-2.6.4-6.fc38.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-debuginfo-2.6.4-6.fc38.i686.rpm 2.6.4 i686 Fedora Everything
yices-debuginfo-2.6.4-6.fc38.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-debugsource-2.6.4-6.fc38.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-debugsource-2.6.4-6.fc38.i686.rpm 2.6.4 i686 Fedora Everything
yices-debugsource-2.6.4-6.fc38.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-devel-2.6.4-6.fc38.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-devel-2.6.4-6.fc38.i686.rpm 2.6.4 i686 Fedora Everything
yices-devel-2.6.4-6.fc38.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-doc-2.6.4-6.fc38.noarch.rpm 2.6.4 noarch Fedora Everything
yices-tools-2.6.4-6.fc38.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-2.6.4-6.fc38.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-tools-debuginfo-2.6.4-6.fc38.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-debuginfo-2.6.4-6.fc38.x86_64.rpm 2.6.4 x86_64 Fedora Everything


نیازمندی

مقدار نام
- libc.so.6
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.11)
- libc.so.6(GLIBC_2.2)
- libc.so.6(GLIBC_2.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.7)
- libcadical.so.0
- libcryptominisat5.so.5.8
- libgmp.so.10
- libkissat.so.0
- libm.so.6
- libm.so.6(GLIBC_2.0)
- libm.so.6(GLIBC_2.29)
- libpoly.so.0
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 3.0.0 bundled(cudd)
- libyices.so.2.6
= 2.6.4-6.fc38 yices
= 2.6.4-6.fc38 yices(x86-32)


نحوه نصب


نصب پکیج rpm yices:

    dnf install yices-2.6.4-6.fc38.i686.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/fd7dff8652efdf0ab1159c4895c91433e73089
/usr/lib/libyices.so.2.6
/usr/lib/libyices.so.2.6.4
/usr/share/doc/yices
/usr/share/doc/yices/SMT-LIB-LANGUAGE
/usr/share/doc/yices/YICES-LANGUAGE
/usr/share/licenses/yices
/usr/share/licenses/yices/LICENSE.txt


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

تاریخ آخرین تغییر جزئیات
2023-01-21

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

2022-11-28

Regenerate the cudd configure script to fix FTBFS
Convert License tag to SPDX

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
Drop upstreamed -big-endian and -sphinx3 patches
Enable tests on 32-bit platforms

2021-07-23

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

2021-01-28

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