Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx". <br>
Некоторая статистика (по временам нахождения решений) размещается в "Статистика.docx".
Для корректной работы следует установить MiniZinc driver (https://www.minizinc.org/software.html) как минимум для запуска прилагающегося solver-а Chuffed и транслятора с MiniZinc в FlatZinc.
В Windows путь к minizinc.exe и mzn2fzn.exe следует добавить в переменную "PATH".
