From 4c105e5cf88bf626bfd95e1acc5d5a81f37bfdac Mon Sep 17 00:00:00 2001
From: Vladislav Kiselev <vladislav-a-k@mail.ru>
Date: Thu, 15 Aug 2019 21:53:27 +0300
Subject: [PATCH] =?UTF-8?q?=D0=98=D0=BD=D1=84=D0=BE=D1=80=D0=BC=D0=B0?=
 =?UTF-8?q?=D1=86=D0=B8=D1=8F=20=D0=BF=D1=80=D0=BE=20=D1=83=D1=81=D1=82?=
 =?UTF-8?q?=D0=B0=D0=BD=D0=BE=D0=B2=D0=BA=D1=83=20MiniZinc=20driver.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

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