Установка: Для установки python-z3 в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install python-z3 Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Доказательство теоремы из Microsoft Research - привязки Python https://github.com/Z3Prover/z3 Январь 2019 Источник: packages.ubuntu.com Навигация по записям python-zakepython-zakepython-yubico-toolspython-yubico-tools Зависимости: libz3-dev Доказательство теоремы от Microsoft Research - файлы разработки python Интерактивный высокоуровневый объектно-ориентированный язык (ветка 2.x) Открыть список
