Update README.md

README.md

@@ -10,20 +10,36 @@
 
 ### Запуск
 
-`java -jar Conversion.jar solve example.tipp [conversion_type]` <br>
+`java -jar Conversion.jar solve <task.tipp> [-ct <conversion_type>] [-fzs <path to FlatZinc solver> | -s <solver>]  ` <br>
 где
 
-+ example.tipp - файл с исходными данными, в него же будет дописан результат.
-+ conversion_type - тип сведения, может быть
++ \<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 [conversion_type]` <br> где
-+ conversion_type - тип сведения, тот же что и при запуске.
+`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\> - файл с задачей, для которой найдено решение. В него же и будут запинаны результаты.