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

Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx". <br>
Некоторая статистика (по временам нахождения решений) размещается в "Статистика.docx".

Для корректной работы следует установить MiniZinc driver (https://www.minizinc.org/software.html) как минимум для запуска прилагающегося solver-а Chuffed и транслятора с MiniZinc в FlatZinc.
В Windows путь к minizinc.exe и mzn2fzn.exe следует добавить в переменную "PATH".

### Сборка

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

### Запуск

`java -jar Conversion.jar solve <task.tipp> [-ct <conversion_type>] [-fzs <path to FlatZinc solver> | -s <solver>]  ` <br>
где

+ \<task.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.
+ \<path to FlatZinc solver\> - Путь к исполняемому файлу FlatZinc-solver-а.
+ \<solver\> Тип solver-а из предопределённого списка :
  - "Chuffed" (по умолчанию)
  - "OrTools"

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

Проверенные тесты находятся в tests/with_typing . Их последовательный запуск: <br>
`java -jar Conversion.jar testing [-ct <conversion_type>] [-d <test_dir>] [-fzs <path to FlatZinc solver> | -s <solver>]` <br> где
+ \<conversion_type\> - тип сведения, такой же что и при запуске.
+ \<test_dir\> - директория с тестами, по умолчанию "tests/with_typing"
+ \<path to FlatZinc solver\> и \<solver\> - определяют solver в таком же формате, как и при запуске, который будет использован для всех тестов.

### Сведение к формату MiniZinc

`java -jar Conversion.jar tippToMzn <task.tipp> [-ct <conversion_type>] [-o <out directory>]` <br> где
+ \<task.tipp\> - файл с исходными данными.
+ \<conversion_type\> - тип сведения, такой же что и при запуске.
+ \<out directory\> - директория, в которую будет записан ответ - файлы conversion.mzn и minizinc_data.dzn. По умолчанию текущая.

### Интерпритация результатов solver-ов

`java -jar Conversion.jar resolve_results <solution> <task.tipp>` <br> где
+ \<solution\> - файл с выводом solver-а.
+ \<task.tipp\> - файл с задачей, для которой найдено решение. В него же и будут запинаны результаты.