Пакет libz3: Информация
Бинарный пакет: libz3
Версия: 4.8.8-alt1.1
Архитектура: e2k
Собран: 1 февраля 2024 г. 6:10
Исходный пакет: z3
Категория: Система/Библиотеки
Сообщить об ошибке в пакетеДомашняя страница: https://github.com/Z3Prover/z3
Лицензия: MIT
О пакете: Общая библиотека z3
Описание:
Z3 — это высокопроизводительный доказатель теорем, разработанный Microsoft Research. Этот пакет содержит общую библиотеку z3.
Сопровождающий: 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.