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

Описание сведения к 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