» Наука

Как установить z3 в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install z3
3 дня бесплатного доступа к Skillbox и сертификат на 5000 руб.
z3 — доказательство теоремы от Microsoft Research

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

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

https://github.com/Z3Prover/z3
Источник: packages.ubuntu.com

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

  • libc6

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

  • libgcc1

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

  • libgomp1

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

  • libstdc++6

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