diff --git a/README.md b/README.md index 0c6b3d1add4d6890894c1ba83722d55568bb1ddd..2bf39d08a900243894972fff95c73ad13932d6d2 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