Установка:

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

sudo apt update
sudo apt install libz3-cil
libz3-cil — доказательство теоремы из Microsoft Research - привязки CLI

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

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

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

  • libmono-corlib4.5-cil

    Монообменная библиотека (для CLI 4.5)

  • libmono-system-numerics4.0-cil

    Библиотека Mono System.Numerics (для CLI 4.0)

  • libz3-dev

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