Установка:
Для установки z3 в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install z3
Подробная информация о пакете:
Доказательство теоремы от Microsoft Research
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека поддержки GCC
-
Библиотека поддержки GCC OpenMP (GOMP)
-
Стандартная библиотека GNU GNU v3