Пакет yices: Информация
Исходный пакет: yices
Версия: 2.3.0-alt2
Собран: 11 апреля 2016 г. 11:14 в задании #162842
Категория: Науки/Математика
Сообщить об ошибке в пакетеДомашняя страница: http://yices.csl.sri.com/
Лицензия: Noncommercial use only
О пакете: Yices — инструмент для решения задач теории выполнимости по модулю (SMT)
Описание:
Yices 2 — инструмент для решения задач теории выполнимости по модулю (SMT). Определяет выполнимость формул, содержащих неинтерпретируемые функциональные символы с равенствами, линейной вещественной и целочисленной арифметикой, битовыми векторами, скалярными типами и кортежами. Yices 2 может обрабатывать ввод, написанный на языке SMT-LIB (поддерживаются обе версии: 2.0 и 1.2). Кроме того, можно писать спецификации на собственном языке спецификаций Yices 2, который включает кортежи и скалярные типы. Также можно использовать Yices 2 в качестве библиотеки для собственного ПО.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
libyices (x86_64, i586)
libyices-debuginfo (x86_64, i586)
libyices-devel (x86_64, i586)
yices (x86_64, i586)
yices-debuginfo (x86_64, i586)
yices-docs (noarch)
libyices (x86_64, i586)
libyices-debuginfo (x86_64, i586)
libyices-devel (x86_64, i586)
yices (x86_64, i586)
yices-debuginfo (x86_64, i586)
yices-docs (noarch)
Сопровождающий: Eugeny A. Rostovtsev
Последнее изменение
11 апреля 2016 г. Ivan Zakharyaschev 2.3.0-alt2
- It fails during parallel builds randomly (sometimes); therefore: NPROCS=1
16 марта 2015 г. Eugeny A. Rostovtsev 2.3.0-alt1
- Initial build for Sisyphus