Установка:

Для установки libz3-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install libz3-dev
Dzen
libz3-dev — доказательство теоремы от Microsoft Research - файлы разработки

Подробная информация о пакете:

Доказательство теоремы от Microsoft Research - файлы разработки

  • Зависимости:

  • libz3-4

    Доказательство теоремы из Microsoft Research - библиотеки времени выполнения