» Библиотеки для разработки

Как установить libz3-ocaml-dev в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install libz3-ocaml-dev

Настроить команду APT

libz3-ocaml-dev — доказательство теоремы из Microsoft Research - привязки OCaml

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

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

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

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

  • libc6

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

  • libz3-4

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

  • libz3-dev

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

  • ocaml-nox-4.05.0