diff --git a/README.md b/README.md index 2bf39d08a900243894972fff95c73ad13932d6d2..ab719df8586473ed84fe5c77c911de1422201a7d 100644 --- a/README.md +++ b/README.md @@ -2,13 +2,13 @@ Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx". -## Сборка +### Сборка Для создания jar-архива необходимо запустить + Make.bat - для Windows. + Makefile - для Linux. -## Запуск +### Запуск `java -jar Conversion.jar solve example.tipp [conversion_type]`
где @@ -17,4 +17,13 @@ + 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 + - "Greedy v2" - "жадный алгоритм", ограничения из conversion_2_greedy_v2.mzn. + +### Тестирование + +Проверенные тесты находятся в tests/with_typing . Их последовательный запуск:
+`java -jar Conversion.jar testing [conversion_type]`
где ++ conversion_type - тип сведения, тот же что и при запуске. + + +