Установка:

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

sudo apt update
sudo apt install z3
z3 — доказательство теоремы от Microsoft Research

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

Доказательство теоремы от Microsoft Research

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

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgcc1

    Библиотека поддержки GCC

  • libgomp1

    Библиотека поддержки GCC OpenMP (GOMP)

  • libstdc++6

    Стандартная библиотека GNU GNU v3