README.md

execution/README.md

execution/run_uc.py

...s/tests/test_domain_restriction_binary_search_strategy.py

...egies/tests/test_domain_restriction_check_all_strategy.py

...s/tests/test_domain_restriction_linear_search_strategy.py

...egies/tests/test_no_restriction_binary_search_strategy.py

...trategies/tests/test_no_restriction_check_all_strategy.py

...egies/tests/test_no_restriction_linear_search_strategy.py

execution/theodolite.py

...cation/src/main/resources/META-INF/application.properties