Репозиторий Sisyphus
Последнее обновление: 4 декабря 2019 | Пакетов: 17496 | Посещений: 15975576
en ru br
Репозитории ALT

Группа :: Науки/Математика
Пакет: yices

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 2.3.0-alt3
Время сборки: 19 февраля 2019, 22:08 ( 41.3 недели назад )
Размер архива: 1827.87 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)

Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:

Список rpm-пакетов, предоставляемый данным srpm-пакетом:

  • libyices
  • libyices-debuginfo
  • libyices-devel
  • yices
  • yices-debuginfo
  • yices-docs
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin