معرفی شرکت ها

yices-2.3.0-alt3.mipsel.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

The Yices SMT Solver
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic mipsel
نام بسته yices
نام فایل بسته yices-2.3.0-alt3.mipsel.rpm
نسخه بسته 2.3.0
انتشار بسته alt3
معماری بسته mipsel
نگهدارنده -
تاریخ ساخت Tue 19 Feb 2019 06
هاست سازنده recycler-sisyphus_mipsel.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز Noncommercial use only
حجم دانلود 682K
حجم نصب 4.737M
Yices 2 is an 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 Yices 2's own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software.


جایگزین ها

بسته نسخه معماری مخزن
yices-2.3.0-alt3.i586.rpm 2.3.0 i586 ALT classic
yices-2.3.0-alt3.ppc64le.rpm 2.3.0 ppc64le ALT classic
yices-2.3.0-alt3.x86_64.rpm 2.3.0 x86_64 ALT classic
yices-debuginfo-2.3.0-alt3.mipsel.rpm 2.3.0 mipsel ALT debuginfo
yices-docs-2.3.0-alt3.noarch.rpm 2.3.0 noarch ALT classic


نیازمندی

مقدار نام
- /lib/ld.so.1
- libc.so.6(GLIBC_2.0)
- 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.7)
>= set:mgTPKo6txsByNtYZCLcfOnZqWgzV5c33vmMSezspzPvuSDeeyeY7sHkJD512Ic869GodVZyMlYBjTxgHLNUTlyfOPBGitNVofX21ybBSfIZsbPmWYtExWYppma11mge7NrFOvkXt2aXBxxLL2 libgmp.so.10
- rpmlib(SetVersions)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 2.3.0-alt3:sisyphus_mipsel.21785.100 yices


نحوه نصب


نصب پکیج rpm yices:

    sudo apt-get install yices-2.3.0-alt3.mipsel.rpm


فایل ها

مسیرها
/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/share/doc/yices-2.3.0
/usr/share/doc/yices-2.3.0/LICENSE
/usr/share/doc/yices-2.3.0/NOTES
/usr/share/doc/yices-2.3.0/NOTICES
/usr/share/doc/yices-2.3.0/README
/usr/share/doc/yices-2.3.0/YICES-LANGUAGE


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

تاریخ آخرین تغییر جزئیات
2019-02-20

Fixed build on non-x86 architectures.

2016-04-11

It fails during parallel builds randomly (sometimes); therefore: NPROCS=1

2015-03-16

Initial build for Sisyphus