From e6b28664d71a4dbdd1fdf694c268532bde4e74ea Mon Sep 17 00:00:00 2001 From: Vladislav Kiselev Date: Thu, 15 Aug 2019 21:40:19 +0300 Subject: [PATCH] Update README.md --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index ca64297..3c5a7b3 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,7 @@ # Внутрипортовое планирование -Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx". +Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx".
+Некоторая статистика (по временам нахождения решений) размещается в "Статистика.docx". ### Сборка @@ -42,4 +43,4 @@ `java -jar Conversion.jar resolve_results `
где + \ - файл с выводом solver-а. -+ \ - файл с задачей, для которой найдено решение. В него же и будут запинаны результаты. ++ \ - файл с задачей, для которой найдено решение. В него же и будут запинаны результаты. \ No newline at end of file -- GitLab