Установка:

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

sudo apt update
sudo apt install flatzinc
flatzinc — язык моделирования ограничений ограничений

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

Язык моделирования ограничений ограничений

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

  • libc6

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

  • libgcc1

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

  • libgecode44

    Среда создания общих ограничений

  • libgecodeflatzinc44

    Поддержка Gecode для языка моделирования FlatZinc

  • libgecodegist44

    Библиотека интерактивного инструмента поиска Gecode

  • libstdc++6

    Стандартная библиотека GNU GNU v3