Установка:
Для установки flatzinc в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install flatzinc
Подробная информация о пакете:
Язык моделирования ограничений ограничений
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека поддержки GCC
-
Среда создания общих ограничений
-
Поддержка Gecode для языка моделирования FlatZinc
-
Библиотека интерактивного инструмента поиска Gecode
-
libstdc++6