MiniZinc

MiniZinc - это язык моделирования ограничений с открытым исходным кодом для Linux. Он предназначен для описания удовлетворенности ограничениями и задач оптимизации без привязки модели к одному конкретному решателю. Это делает его подходящим для учащихся, преподавателей и других пользователей, работающих с формальными моделями решения проблем в образовательной среде.

Модели могут быть написаны на высоком уровне с использованием библиотеки предопределенных ограничений. Язык отделяет описание проблемы от решателя, используемого для ее обработки. Это позволяет использовать тот же подход моделирования с рядом поддерживаемых решателей.

После создания модели MiniZinc компилирует ее в FlatZinc. FlatZinc - это язык ввода решателя, понятный широкому кругу решателей. Этот этап компиляции соединяет читаемую модель с конкретной обработкой решателя, необходимой для изучения решений или результатов оптимизации.

MiniZinc входит в категорию Education для платформы Linux. Он разработан в Университете Монаша в сотрудничестве с Data61 Decision Sciences и Мельбурнским университетом. MirrorNest распространяет официальную сборку Linux непосредственно из собственного хранилища и сканирует ее на наличие вредоносного ПО перед публикацией.