Установка:
Для установки libz3-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Доказательство теоремы от Microsoft Research - файлы разработки
-
Зависимости:
-
Доказательство теоремы из Microsoft Research - библиотеки времени выполнения