Пакет libyices-devel: Информация

Бинарный пакет: libyices-devel

Версия: 2.3.0-alt4

Архитектура: i586

Собран:  26 марта 2021 г. 14:19 в задании #268439

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

Категория: Разработка/C

Gear: https://git.altlinux.org/gears/y/yices.git?a=tree;hb=9a4b639afc0…

Загрузка: libyices-devel-2.3.0-alt4.i586.rpm

Лог сборки: https://git.altlinux.org/tasks/268439/build/100/i586/log

Домашняя страница: http://yices.csl.sri.com/

Лицензия: Noncommercial use only

О пакете: Файлы разработки yices

Описание: 

Yices 2 — инструмент для решения задач теории выполнимости по модулю (SMT).
Определяет выполнимость формул, содержащих неинтерпретируемые
функциональные символы с равенствами, линейной вещественной и целочисленной
арифметикой, битовыми векторами, скалярными типами и кортежами.

Yices 2 может обрабатывать ввод, написанный на языке SMT-LIB
(поддерживаются обе версии: 2.0 и 1.2). Кроме того, можно писать спецификации на собственном языке спецификаций Yices 2, который включает кортежи и скалярные типы.
Также можно использовать Yices 2 в качестве библиотеки для собственного ПО.

Этот пакет содержит файлы разработки yices.

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