[ Источник: z3 ]
Пакет: python3-z3 (4.8.12-3.1 и другие)
Ссылки для python3-z3
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код z3:
Сопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
средство доказательства теорем от Microsoft Research — привязки Python 3
Z3 — это современная программа для доказательства теорем от Microsoft Research. Подробное описание смотрите в пакете z3.
Этот пакет можно использовать для вызова Z3 через его программный интерфейс Python 3.
Другие пакеты, относящиеся к python3-z3
|
|
|
|
-
- dep: libz3-dev (= 4.8.12-3.1+b3)
- средство доказательства теорем от Microsoft Research — файлы для разработки
-
- dep: python3
- интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)
-
- dep: python3-pkg-resources
- обнаружение пакетов и доступ к ресурсам через pkg_resources
Загрузка python3-z3
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| armhf | 4.8.12-3.1+b3 | 76,5 Кб | 595,0 Кб | [список файлов] |