Пакет z3: Информация
Бинарный пакет: z3
Версия: 4.8.8-alt1.1
Архитектура: e2kv4
Собран: 1 февраля 2024 г. 6:10
Исходный пакет: z3
Категория: Науки/Математика
Сообщить об ошибке в пакетеДомашняя страница: https://github.com/Z3Prover/z3
Лицензия: MIT
О пакете: Высокопроизводительный доказатель теорем
Описание:
Z3 — это высокопроизводительный доказатель теорем, разработанный Microsoft Research.
Сопровождающий: Grigory Ustinov
Последнее изменение
25 января 2024 г. Grigory Ustinov 4.8.8-alt1.1
- NMU: Fixed FTBFS.
10 июля 2020 г. Aleksei Nikiforov 4.8.8-alt1
- Updated to upstream version 4.8.8.
2 апреля 2020 г. Aleksei Nikiforov 4.8.7-alt1
- Updated to upstream version 4.8.7. - Disabled bindings for python-2.