Группа :: Науки/Математика
Пакет: z3
навигация по пакетам
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 4.8.8-alt1
Время сборки: 10 июля 2020, 07:53 ( 177.7 недели назад )
Размер архива: 3.07 Mb
Домашняя страница: https://github.com/Z3Prover/z3
Лицензия: MIT
О пакете: High-performance theorem prover
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 10 июля 2020, 07:53 ( 177.7 недели назад )
Размер архива: 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 Research.
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета: Список rpm-пакетов, предоставляемый данным srpm-пакетом:
- libz3
- libz3-debuginfo
- libz3-devel
- libz3-devel
- libz3-devel-docs
- python-module-z3
- python3-module-z3
- python3-module-z3
- z3
- z3-debuginfo