» Интерпретаторы

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

Установка:

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

sudo apt update
sudo apt install gringo
Dzen
gringo — средства заземления для (дизъюнктивных) логических программ

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

Средства заземления для (дизъюнктивных) логических программ

https://www.potassco.org/clingo/
Источник: packages.ubuntu.com

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

  • libc6

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

  • libgcc1

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

  • liblua5.3-0

    Общая библиотека для интерпретатора Lua версии 5.3

  • libpython3.6

    Общая библиотека времени исполнения Python (версия 3.6)

  • libstdc++6