diff --git a/README.md b/README.md index 3c5a7b3038c7f06ed01e46e3a02b9b77d4c01c78..cb9117db4f014d91f50092f926276ce661216d0c 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,9 @@ Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx".
Некоторая статистика (по временам нахождения решений) размещается в "Статистика.docx". +Для корректной работы следует установить MiniZinc driver (https://www.minizinc.org/software.html) как минимум для запуска прилагающегося solver-а Chuffed и транслятора с MiniZinc в FlatZinc. +В Windows путь к minizinc.exe и mzn2fzn.exe следует добавить в переменную "PATH". + ### Сборка Для создания jar-архива необходимо запустить