Установка: Для установки prover9 в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install prover9 Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Доказательство теоремы и генератор контрмодели http://www.cs.unm.edu/~mccune/mace4/ Июнь 2018 Источник: packages.ubuntu.com Навигация по записям prover9-mace4prover9-mace4primesieve-binprimesieve-bin Зависимости: libc6 Библиотека GNU C: общие библиотеки libladr4 Библиотека вычитания LADR Открыть список
