Пакет yices: Информация

Исходный пакет: yices

Версия: 2.3.0-alt4

Собран:  27 марта 2021 г. 17:27

Категория: Науки/Математика

Домашняя страница: 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 (mipsel)
libyices-debuginfo (mipsel)
libyices-devel (mipsel)
yices (mipsel)
yices-debuginfo (mipsel)
yices-docs (noarch)

Сопровождающий: Eugeny A. Rostovtsev