معرفی شرکت ها

yices-docs-2.3.0-alt2.noarch.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Documentation and examples for yices
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p8
مخزن ALTLinux classic noarch
نام بسته yices-docs
نام فایل بسته yices-docs-2.3.0-alt2.noarch.rpm
نسخه بسته 2.3.0
انتشار بسته alt2
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Mon 11 Apr 2016 12
هاست سازنده imz-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://yices.csl.sri.com/
مجوز Noncommercial use only
حجم دانلود 365K
حجم نصب 1.402M
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 documentation and examples for yices.


نیازمندی

مقدار نام
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 2.3.0-alt2 yices-docs


نحوه نصب


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

    sudo apt-get install yices-docs-2.3.0-alt2.noarch.rpm


فایل ها

مسیرها
/usr/share/doc/yices-docs-2.3.0
/usr/share/doc/yices-docs-2.3.0/examples
/usr/share/doc/yices-docs-2.3.0/examples/arith_mix.ys
/usr/share/doc/yices-docs-2.3.0/examples/babic2-bool.ys
/usr/share/doc/yices-docs-2.3.0/examples/bool_eqs.ys
/usr/share/doc/yices-docs-2.3.0/examples/bool_eqs2.ys
/usr/share/doc/yices-docs-2.3.0/examples/bool_eqs3.ys
/usr/share/doc/yices-docs-2.3.0/examples/bool_eqs4.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_add20.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_add20_bool.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_mix.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_mul10.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_mul15.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_mul20.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_neg20.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_neg20_bool.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_not20.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_not4.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_test.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_test1.ys
/usr/share/doc/yices-docs-2.3.0/examples/bv_test2.ys
/usr/share/doc/yices-docs-2.3.0/examples/dioph-crt1.ys
/usr/share/doc/yices-docs-2.3.0/examples/example1.c
/usr/share/doc/yices-docs-2.3.0/examples/example2.c
/usr/share/doc/yices-docs-2.3.0/examples/frugal10.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal100.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal1000.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal10a.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal10bool.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal200.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal300.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal500.ys
/usr/share/doc/yices-docs-2.3.0/examples/frugal500bool.ys
/usr/share/doc/yices-docs-2.3.0/examples/gacek.smt2
/usr/share/doc/yices-docs-2.3.0/examples/jinpeng.ys
/usr/share/doc/yices-docs-2.3.0/examples/junghee_lim.ys
/usr/share/doc/yices-docs-2.3.0/examples/junghee_lim2.ys
/usr/share/doc/yices-docs-2.3.0/examples/junghee_lim3.ys
/usr/share/doc/yices-docs-2.3.0/examples/minimal.c
/usr/share/doc/yices-docs-2.3.0/examples/names.c
/usr/share/doc/yices-docs-2.3.0/examples/pr_test.ys
/usr/share/doc/yices-docs-2.3.0/examples/pr_test2.ys
/usr/share/doc/yices-docs-2.3.0/examples/pr_test3.ys
/usr/share/doc/yices-docs-2.3.0/examples/problem_with_input.ys
/usr/share/doc/yices-docs-2.3.0/examples/queen6.ys
/usr/share/doc/yices-docs-2.3.0/examples/recursive_include.ys
/usr/share/doc/yices-docs-2.3.0/examples/scenario1.ys
/usr/share/doc/yices-docs-2.3.0/examples/scenario2.ys
/usr/share/doc/yices-docs-2.3.0/examples/scenario3.ys
/usr/share/doc/yices-docs-2.3.0/examples/scenario4.ys
/usr/share/doc/yices-docs-2.3.0/examples/sudoku.ys
/usr/share/doc/yices-docs-2.3.0/examples/test-params.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_bvlet.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_include1.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_include2.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_include3.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_include4.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_include5.ys
/usr/share/doc/yices-docs-2.3.0/examples/test_pp.c
/usr/share/doc/yices-docs-2.3.0/manual.pdf


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

تاریخ آخرین تغییر جزئیات
2016-04-11

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

2015-03-16

Initial build for Sisyphus