Установка:

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

sudo apt update
sudo apt install libboogie-cil
libboogie-cil — поддающийся проверке язык программирования (библиотека)

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

Поддающийся проверке язык программирования (библиотека)