Группа :: Науки/Математика
Пакет: yices
навигация по пакетам
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 2.3.0-alt4
Время сборки: 26 марта 2021, 11:03 ( 139.7 недели назад )
Размер архива: 1827.76 Kb
Домашняя страница: http://yices.csl.sri.com/
Лицензия: Noncommercial use only
О пакете: The Yices SMT Solver
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 26 марта 2021, 11:03 ( 139.7 недели назад )
Размер архива: 1827.76 Kb
Домашняя страница: http://yices.csl.sri.com/
Лицензия: Noncommercial use only
О пакете: The Yices SMT Solver
Описание:
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.
Текущий майнтейнер: Eugeny A. Rostovtsev (REAL) 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.
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
- libyices
- libyices-debuginfo
- libyices-devel
- yices
- yices-debuginfo
- yices-docs