معرفی شرکت ها

yices-tools-2.6.4-8.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Command line tools that use the yices library
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته yices-tools
نام فایل بسته yices-tools-2.6.4-8.fc39.x86_64.rpm
نسخه بسته 2.6.4
انتشار بسته 8.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 10 Jan 2024 07
هاست سازنده buildvm-x86-28.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز GPL-3.0-or-later and BSD-3-Clause
حجم دانلود 2.0M
حجم نصب 7.480M
Command line tools that use the yices library.


جایگزین ها

بسته نسخه معماری مخزن
yices-tools-2.6.4-7.fc39.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-2.6.4-7.fc39.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-tools-2.6.4-8.fc39.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-debuginfo-2.6.4-7.fc39.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-debuginfo-2.6.4-7.fc39.x86_64.rpm 2.6.4 x86_64 Fedora Everything
yices-tools-debuginfo-2.6.4-8.fc39.aarch64.rpm 2.6.4 aarch64 Fedora Everything
yices-tools-debuginfo-2.6.4-8.fc39.x86_64.rpm 2.6.4 x86_64 Fedora Everything


نیازمندی

مقدار نام
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.11)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libcadical.so.0()(64bit)
- libcryptominisat5.so.5.8()(64bit)
- libgmp.so.10()(64bit)
- libkissat.so.0()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libpoly.so.0()(64bit)
- rtld(GNU_HASH)
= 2.6.4-8.fc39 yices(x86-64)


ارائه دهنده

مقدار نام
= 2.6.4-8.fc39 yices-tools
= 2.6.4-8.fc39 yices-tools(x86-64)


نحوه نصب


نصب پکیج rpm yices-tools:

    dnf install yices-tools-2.6.4-8.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id
/usr/lib/.build-id/24
/usr/lib/.build-id/24/2c7d4d7d02d3b5af88f8659da00a905d7a3ed6
/usr/lib/.build-id/92
/usr/lib/.build-id/92/07c60d9400114bb6229c1c4c507ac9b626ccf1
/usr/lib/.build-id/cb
/usr/lib/.build-id/cb/98a3f1c887f2cfb1cacb2c01eed58c3196a945
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/f9ac7758515434b4456a31c343ebfd1143e404
/usr/share/man/man1/yices-sat.1.gz
/usr/share/man/man1/yices-smt.1.gz
/usr/share/man/man1/yices-smt2.1.gz


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

تاریخ آخرین تغییر جزئیات
2024-01-10

Rebuild for cadical 1.9.4
Update font licenses from LPPL-1.0 to LPPL-1.3a

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
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