MiniZinc2.10.1

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

FlatZinc связывает ориентированную на человека модель с конкретной обработкой решателя для исследования решений кандидатов и результатов оптимизации. Типичные пользователи включают учащихся и преподавателей, изучающих формальное решение проблем, а также других, которым необходимо представлять и тестировать структурированные ограничения в образовательной среде.

MiniZinc 2.10.1 работает на Linux с системами snapd и targets x86 64 (amd64). Это программное обеспечение с открытым исходным кодом, разработанное MiniZinc в Университете Монаша в сотрудничестве с Data61 Decision Sciences и Мельбурнским университетом. Он подходит для упражнений в классе, экспериментов с решателями и моделей оптимизации, где изменение основного решателя не должно требовать изменения описания проблемы.