Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37046997
en ru br
Репозитории ALT

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

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

Текущая версия: 4.8.8-alt1
Время сборки: 10 июля 2020, 07:53 ( 194.0 недели назад )
Размер архива: 3.07 Mb

Домашняя страница:   https://github.com/Z3Prover/z3

Лицензия: MIT
О пакете: High-performance theorem prover
Описание:

Z3 is a high-performance theorem prover being developed at Microsoft
Research.

Текущий майнтейнер: Aleksei Nikiforov

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

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

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