Merge branch 'master' of ssh://ctddev.ifmo.ru:22089/vkiselev/Conversion

README.md

 # Внутрипортовое планирование
 
 Описание сведения к 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