# Внутрипортовое планирование

Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx".

### Сборка

Для создания jar-архива необходимо запустить
+ Make.bat - для Windows.
+ Makefile - для Linux.

### Запуск

`java -jar Conversion.jar solve example.tipp [conversion_type]` <br>
где

+ 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.

### Тестирование

Проверенные тесты находятся в tests/with_typing . Их последовательный запуск: <br>
`java -jar Conversion.jar testing [conversion_type]` <br> где
+ conversion_type - тип сведения, тот же что и при запуске.