Установка: Для установки libz3-4 в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install libz3-4 Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Доказательство теоремы из Microsoft Research - библиотеки времени выполнения https://github.com/Z3Prover/z3 Shared Library Июнь 2018 Источник: packages.ubuntu.com Навигация по записям libz80ex1libz80ex1libz-mingw-w64libz-mingw-w64 Зависимости: libc6 Библиотека GNU C: общие библиотеки libgcc1 Библиотека поддержки GCC libgomp1 Библиотека поддержки GCC OpenMP (GOMP) libstdc++6 Открыть список
