From 63025f48fe9a6738e29b5bb9a29103b6c8ac000f Mon Sep 17 00:00:00 2001 From: Vladislav Kiselev Date: Mon, 8 Jul 2019 14:00:30 +0300 Subject: [PATCH] README updated --- README.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/README.md b/README.md index 0c6b3d1..2bf39d0 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,20 @@ # Внутрипортовое планирование Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx". + +## Сборка + +Для создания jar-архива необходимо запустить ++ Make.bat - для Windows. ++ Makefile - для Linux. + +## Запуск + +`java -jar Conversion.jar solve example.tipp [conversion_type]`
+где + ++ example.tipp - файл с исходными данными, в него же будет дописан результат. ++ conversion_type - тип сведения, может быть + - "Without splitting" - операции грузообработки всегда выполняются полностью, ограничения из constraints/conversion_2.mzn. Вариант по умолчанию. + - "With splitting" - интенсивность операции может изменятся от 1 до её максимального значения, ограничения из constraints/conversion_2_with_partial_cargo_operations.mzn. + - "Greedy v2" - "жадный алгоритм", ограничения из conversion_2_greedy_v2.mzn -- GitLab