» Математика

Как установить mcrl2 в Ubuntu

Установка:

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

sudo apt update
sudo apt install mcrl2

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

mcrl2 — официальный набор инструментов языка спецификации

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

Официальный набор инструментов языка спецификации

http://www.mcrl2.org/
Источник: packages.ubuntu.com

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

  • libc6

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

  • libgcc1

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

  • libgl1-mesa-glx

    Бесплатная реализация OpenGL API - время выполнения GLX

  • libgl1

    Это виртуальный пакет. Для определения виртуальных пакетов см. Политику Debian.

  • libgl2ps1.4

    Lib обеспечивает высококачественный векторный вывод для приложения OpenGL

  • libglu1-mesa

    Библиотека утилиты Mesa OpenGL (GLU)

  • libqt4-opengl

    Модуль Qt 4 OpenGL

  • libqt4-xml

    Qt 4 XML-модуль

  • libqtcore4

    Модуль Qt 4

  • libqtgui4

    Модуль Qt 4 GUI

  • libglu1

  • libstdc++6