معرفی شرکت ها

libyices-2.3.0-alt3.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Shared libraries of yices
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic x86_64
نام بسته libyices
نام فایل بسته libyices-2.3.0-alt3.x86_64.rpm
نسخه بسته 2.3.0
انتشار بسته alt3
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 20 Feb 2019 01
هاست سازنده glebfm-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز Noncommercial use only
حجم دانلود 524K
حجم نصب 1.423M
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. This package contains shared libraries of yices.


جایگزین ها

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


نیازمندی

مقدار نام
- 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)
>= set:mgTPKo6txsByNtYZCLcfOnZqWgzV5c33A7R8nSUYDDZ9eeyeY7sHkJD512Ic869GodVZyMlYBjTxgHLNUTlyfOPBGitNVofX21ybBSfIZsu3YeQgtZsOIk22IwseyTiBZEqLjgpLccYZ51 libgmp.so.10()(64bit)
- rpmlib(SetVersions)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= set:mdMP6eL0PlXFgMvf1MMMumng6B27I0iZbuTRce1TZu4rDlVTLhfnigZHqdSWpg009DV6IABtsDY7AQgD9mjVgY85egj12HXmytxGqTVblIqBbjkd7JBkWWvNCWWy4XrrUo31Udmr83kapVRU9gAxpOyEhsWal3q10qkZAm2ueGDiRdBVchBuX5H8XrA6gSQ2EaVLAwgq0NPHnkAGkdmzZ7hXZ2wbOGTICXO1o4BQK6L2TinFSye0igwvJceIo0GgWOOY4ITEdHGEBRyiSTO3GB3ckFZgiMjAQv3SwXInDuOp2gAD8S95p980mnafJauqUr0gRV6kZ6L1dUbNt0Mk4MLXdcbrfi06dz1ns6ojxu1EryIVnCrPE7HEjuzWsuZJDuG5CoZaYFCghxPmx8HJiaEO54KPYTxilkZacoJEwfQYO3pIgKrkpakVqjEvonEUQWoDVquB1ICgqshI6eYc3MGf1FTqV8HrCkGeQqscdZ1BUaOIYvDtRCKjcCMBXin998ZhvZ7lpYZ409JD3utewnbYrIEaB3ChxvE5VdVLK90wK5z7FgHD0FZyeVez1MaA944zCsEI9TAQ0UFnS4SwS1Zf0hZlcpXyBxA2n2AZ7av9aiyu4YVT7YLhAFCw8XebLZELXqky8f libyices.so.2.3()(64bit)
= 2.3.0-alt3:sisyphus+222098.100.1.1 libyices


نحوه نصب


نصب پکیج rpm libyices:

    sudo apt-get install libyices-2.3.0-alt3.x86_64.rpm


فایل ها

مسیرها
/usr/lib64/libyices.so.2.3
/usr/lib64/libyices.so.2.3.0


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

تاریخ آخرین تغییر جزئیات
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