معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Development files of yices

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p10
مخزن	ALTLinux classic ppc64le
نام بسته	libyices-devel
نام فایل بسته	libyices-devel-2.3.0-alt4.ppc64le.rpm
نسخه بسته	2.3.0
انتشار بسته	alt4
معماری بسته	ppc64le
نگهدارنده	-
تاریخ ساخت	Fri 26 Mar 2021 03
هاست سازنده	grenka-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://yices.csl.sri.com/
مجوز	Noncommercial use only
حجم دانلود	31K
حجم نصب	135.793K

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 development files of yices.

نیازمندی

مقدار	نام
= 2.3.0-alt4:sisyphus+268439.100.1.1	libyices
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= 2.3.0-alt4:sisyphus+268439.100.1.1	libyices-devel

نحوه نصب

نصب پکیج rpm libyices-devel:

sudo apt-get install libyices-devel-2.3.0-alt4.ppc64le.rpm

فایل ها

مسیرها
/usr/include/yices.h
/usr/include/yices_exit_codes.h
/usr/include/yices_limits.h
/usr/include/yices_types.h
/usr/lib64/libyices.so

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

تاریخ آخرین تغییر	جزئیات
2021-03-26	Fixed FTBFS with -fcommon.
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