diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index e8417bc788..b856cb41c7 100644
--- a/.github/workflows/ubuntu.yml
+++ b/.github/workflows/ubuntu.yml
@@ -93,7 +93,7 @@ jobs:
         # only need to archive that one.
         if: ${{ matrix.version.run_tox_tests }}
         run: |
-          files_to_archive="fast-downward.py driver misc src builds/debug/bin/ \
+          files_to_archive="fast-downward.py driver misc downward builds/debug/bin/ \
                             builds/release/bin/ ${SOPLEX_LIB} ${SOPLEX_INCLUDE}"
           if [[ ! -z "${CPLEX_URL}" ]]; then
             files_to_archive="${files_to_archive} ${CPLEX_LIB}"
diff --git a/build.py b/build.py
index c85f776cfe..fb9c5c6919 100755
--- a/build.py
+++ b/build.py
@@ -76,7 +76,7 @@ def get_builds_path():
 
 
 def get_src_path():
-    return os.path.join(get_project_root_path(), "src")
+    return os.path.join(get_project_root_path(), "downward")
 
 
 def get_build_path(config_name):
diff --git a/src/CMakeLists.txt b/downward/CMakeLists.txt
similarity index 98%
rename from src/CMakeLists.txt
rename to downward/CMakeLists.txt
index dcde6cec4f..0090e9f0de 100644
--- a/src/CMakeLists.txt
+++ b/downward/CMakeLists.txt
@@ -32,13 +32,12 @@ project(fast-downward
 set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/bin)
 
 # Add planner components.
-
-# Copy the translator into the output directory.
 add_custom_target(translate ALL)
+# Copy the translator into the output directory.
 add_custom_command(TARGET translate POST_BUILD
     COMMAND ${CMAKE_COMMAND} -E copy_directory
         ${CMAKE_CURRENT_SOURCE_DIR}/translate
-        ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/${CMAKE_CFG_INTDIR}/translate
+        ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/${CMAKE_CFG_INTDIR}/translator/downward/translate
     COMMENT "Copying translator module into output directory")
 
 # Add search component as a subproject.
diff --git a/src/search/CMakeLists.txt b/downward/search/CMakeLists.txt
similarity index 100%
rename from src/search/CMakeLists.txt
rename to downward/search/CMakeLists.txt
diff --git a/src/search/abstract_task.cc b/downward/search/abstract_task.cc
similarity index 100%
rename from src/search/abstract_task.cc
rename to downward/search/abstract_task.cc
diff --git a/src/search/abstract_task.h b/downward/search/abstract_task.h
similarity index 100%
rename from src/search/abstract_task.h
rename to downward/search/abstract_task.h
diff --git a/src/search/algorithms/dynamic_bitset.h b/downward/search/algorithms/dynamic_bitset.h
similarity index 100%
rename from src/search/algorithms/dynamic_bitset.h
rename to downward/search/algorithms/dynamic_bitset.h
diff --git a/src/search/algorithms/equivalence_relation.cc b/downward/search/algorithms/equivalence_relation.cc
similarity index 100%
rename from src/search/algorithms/equivalence_relation.cc
rename to downward/search/algorithms/equivalence_relation.cc
diff --git a/src/search/algorithms/equivalence_relation.h b/downward/search/algorithms/equivalence_relation.h
similarity index 100%
rename from src/search/algorithms/equivalence_relation.h
rename to downward/search/algorithms/equivalence_relation.h
diff --git a/src/search/algorithms/int_hash_set.h b/downward/search/algorithms/int_hash_set.h
similarity index 100%
rename from src/search/algorithms/int_hash_set.h
rename to downward/search/algorithms/int_hash_set.h
diff --git a/src/search/algorithms/int_packer.cc b/downward/search/algorithms/int_packer.cc
similarity index 100%
rename from src/search/algorithms/int_packer.cc
rename to downward/search/algorithms/int_packer.cc
diff --git a/src/search/algorithms/int_packer.h b/downward/search/algorithms/int_packer.h
similarity index 100%
rename from src/search/algorithms/int_packer.h
rename to downward/search/algorithms/int_packer.h
diff --git a/src/search/algorithms/max_cliques.cc b/downward/search/algorithms/max_cliques.cc
similarity index 100%
rename from src/search/algorithms/max_cliques.cc
rename to downward/search/algorithms/max_cliques.cc
diff --git a/src/search/algorithms/max_cliques.h b/downward/search/algorithms/max_cliques.h
similarity index 100%
rename from src/search/algorithms/max_cliques.h
rename to downward/search/algorithms/max_cliques.h
diff --git a/src/search/algorithms/named_vector.h b/downward/search/algorithms/named_vector.h
similarity index 100%
rename from src/search/algorithms/named_vector.h
rename to downward/search/algorithms/named_vector.h
diff --git a/src/search/algorithms/ordered_set.h b/downward/search/algorithms/ordered_set.h
similarity index 100%
rename from src/search/algorithms/ordered_set.h
rename to downward/search/algorithms/ordered_set.h
diff --git a/src/search/algorithms/priority_queues.h b/downward/search/algorithms/priority_queues.h
similarity index 100%
rename from src/search/algorithms/priority_queues.h
rename to downward/search/algorithms/priority_queues.h
diff --git a/src/search/algorithms/sccs.cc b/downward/search/algorithms/sccs.cc
similarity index 100%
rename from src/search/algorithms/sccs.cc
rename to downward/search/algorithms/sccs.cc
diff --git a/src/search/algorithms/sccs.h b/downward/search/algorithms/sccs.h
similarity index 100%
rename from src/search/algorithms/sccs.h
rename to downward/search/algorithms/sccs.h
diff --git a/src/search/algorithms/segmented_vector.h b/downward/search/algorithms/segmented_vector.h
similarity index 100%
rename from src/search/algorithms/segmented_vector.h
rename to downward/search/algorithms/segmented_vector.h
diff --git a/src/search/algorithms/subscriber.h b/downward/search/algorithms/subscriber.h
similarity index 100%
rename from src/search/algorithms/subscriber.h
rename to downward/search/algorithms/subscriber.h
diff --git a/src/search/axioms.cc b/downward/search/axioms.cc
similarity index 100%
rename from src/search/axioms.cc
rename to downward/search/axioms.cc
diff --git a/src/search/axioms.h b/downward/search/axioms.h
similarity index 100%
rename from src/search/axioms.h
rename to downward/search/axioms.h
diff --git a/src/search/cartesian_abstractions/abstract_search.cc b/downward/search/cartesian_abstractions/abstract_search.cc
similarity index 100%
rename from src/search/cartesian_abstractions/abstract_search.cc
rename to downward/search/cartesian_abstractions/abstract_search.cc
diff --git a/src/search/cartesian_abstractions/abstract_search.h b/downward/search/cartesian_abstractions/abstract_search.h
similarity index 100%
rename from src/search/cartesian_abstractions/abstract_search.h
rename to downward/search/cartesian_abstractions/abstract_search.h
diff --git a/src/search/cartesian_abstractions/abstract_state.cc b/downward/search/cartesian_abstractions/abstract_state.cc
similarity index 100%
rename from src/search/cartesian_abstractions/abstract_state.cc
rename to downward/search/cartesian_abstractions/abstract_state.cc
diff --git a/src/search/cartesian_abstractions/abstract_state.h b/downward/search/cartesian_abstractions/abstract_state.h
similarity index 100%
rename from src/search/cartesian_abstractions/abstract_state.h
rename to downward/search/cartesian_abstractions/abstract_state.h
diff --git a/src/search/cartesian_abstractions/abstraction.cc b/downward/search/cartesian_abstractions/abstraction.cc
similarity index 100%
rename from src/search/cartesian_abstractions/abstraction.cc
rename to downward/search/cartesian_abstractions/abstraction.cc
diff --git a/src/search/cartesian_abstractions/abstraction.h b/downward/search/cartesian_abstractions/abstraction.h
similarity index 100%
rename from src/search/cartesian_abstractions/abstraction.h
rename to downward/search/cartesian_abstractions/abstraction.h
diff --git a/src/search/cartesian_abstractions/additive_cartesian_heuristic.cc b/downward/search/cartesian_abstractions/additive_cartesian_heuristic.cc
similarity index 100%
rename from src/search/cartesian_abstractions/additive_cartesian_heuristic.cc
rename to downward/search/cartesian_abstractions/additive_cartesian_heuristic.cc
diff --git a/src/search/cartesian_abstractions/additive_cartesian_heuristic.h b/downward/search/cartesian_abstractions/additive_cartesian_heuristic.h
similarity index 100%
rename from src/search/cartesian_abstractions/additive_cartesian_heuristic.h
rename to downward/search/cartesian_abstractions/additive_cartesian_heuristic.h
diff --git a/src/search/cartesian_abstractions/cartesian_heuristic_function.cc b/downward/search/cartesian_abstractions/cartesian_heuristic_function.cc
similarity index 100%
rename from src/search/cartesian_abstractions/cartesian_heuristic_function.cc
rename to downward/search/cartesian_abstractions/cartesian_heuristic_function.cc
diff --git a/src/search/cartesian_abstractions/cartesian_heuristic_function.h b/downward/search/cartesian_abstractions/cartesian_heuristic_function.h
similarity index 100%
rename from src/search/cartesian_abstractions/cartesian_heuristic_function.h
rename to downward/search/cartesian_abstractions/cartesian_heuristic_function.h
diff --git a/src/search/cartesian_abstractions/cartesian_set.cc b/downward/search/cartesian_abstractions/cartesian_set.cc
similarity index 100%
rename from src/search/cartesian_abstractions/cartesian_set.cc
rename to downward/search/cartesian_abstractions/cartesian_set.cc
diff --git a/src/search/cartesian_abstractions/cartesian_set.h b/downward/search/cartesian_abstractions/cartesian_set.h
similarity index 100%
rename from src/search/cartesian_abstractions/cartesian_set.h
rename to downward/search/cartesian_abstractions/cartesian_set.h
diff --git a/src/search/cartesian_abstractions/cegar.cc b/downward/search/cartesian_abstractions/cegar.cc
similarity index 100%
rename from src/search/cartesian_abstractions/cegar.cc
rename to downward/search/cartesian_abstractions/cegar.cc
diff --git a/src/search/cartesian_abstractions/cegar.h b/downward/search/cartesian_abstractions/cegar.h
similarity index 100%
rename from src/search/cartesian_abstractions/cegar.h
rename to downward/search/cartesian_abstractions/cegar.h
diff --git a/src/search/cartesian_abstractions/cost_saturation.cc b/downward/search/cartesian_abstractions/cost_saturation.cc
similarity index 100%
rename from src/search/cartesian_abstractions/cost_saturation.cc
rename to downward/search/cartesian_abstractions/cost_saturation.cc
diff --git a/src/search/cartesian_abstractions/cost_saturation.h b/downward/search/cartesian_abstractions/cost_saturation.h
similarity index 100%
rename from src/search/cartesian_abstractions/cost_saturation.h
rename to downward/search/cartesian_abstractions/cost_saturation.h
diff --git a/src/search/cartesian_abstractions/refinement_hierarchy.cc b/downward/search/cartesian_abstractions/refinement_hierarchy.cc
similarity index 100%
rename from src/search/cartesian_abstractions/refinement_hierarchy.cc
rename to downward/search/cartesian_abstractions/refinement_hierarchy.cc
diff --git a/src/search/cartesian_abstractions/refinement_hierarchy.h b/downward/search/cartesian_abstractions/refinement_hierarchy.h
similarity index 100%
rename from src/search/cartesian_abstractions/refinement_hierarchy.h
rename to downward/search/cartesian_abstractions/refinement_hierarchy.h
diff --git a/src/search/cartesian_abstractions/split_selector.cc b/downward/search/cartesian_abstractions/split_selector.cc
similarity index 100%
rename from src/search/cartesian_abstractions/split_selector.cc
rename to downward/search/cartesian_abstractions/split_selector.cc
diff --git a/src/search/cartesian_abstractions/split_selector.h b/downward/search/cartesian_abstractions/split_selector.h
similarity index 100%
rename from src/search/cartesian_abstractions/split_selector.h
rename to downward/search/cartesian_abstractions/split_selector.h
diff --git a/src/search/cartesian_abstractions/subtask_generators.cc b/downward/search/cartesian_abstractions/subtask_generators.cc
similarity index 100%
rename from src/search/cartesian_abstractions/subtask_generators.cc
rename to downward/search/cartesian_abstractions/subtask_generators.cc
diff --git a/src/search/cartesian_abstractions/subtask_generators.h b/downward/search/cartesian_abstractions/subtask_generators.h
similarity index 100%
rename from src/search/cartesian_abstractions/subtask_generators.h
rename to downward/search/cartesian_abstractions/subtask_generators.h
diff --git a/src/search/cartesian_abstractions/transition.h b/downward/search/cartesian_abstractions/transition.h
similarity index 100%
rename from src/search/cartesian_abstractions/transition.h
rename to downward/search/cartesian_abstractions/transition.h
diff --git a/src/search/cartesian_abstractions/transition_system.cc b/downward/search/cartesian_abstractions/transition_system.cc
similarity index 100%
rename from src/search/cartesian_abstractions/transition_system.cc
rename to downward/search/cartesian_abstractions/transition_system.cc
diff --git a/src/search/cartesian_abstractions/transition_system.h b/downward/search/cartesian_abstractions/transition_system.h
similarity index 100%
rename from src/search/cartesian_abstractions/transition_system.h
rename to downward/search/cartesian_abstractions/transition_system.h
diff --git a/src/search/cartesian_abstractions/types.h b/downward/search/cartesian_abstractions/types.h
similarity index 100%
rename from src/search/cartesian_abstractions/types.h
rename to downward/search/cartesian_abstractions/types.h
diff --git a/src/search/cartesian_abstractions/utils.cc b/downward/search/cartesian_abstractions/utils.cc
similarity index 100%
rename from src/search/cartesian_abstractions/utils.cc
rename to downward/search/cartesian_abstractions/utils.cc
diff --git a/src/search/cartesian_abstractions/utils.h b/downward/search/cartesian_abstractions/utils.h
similarity index 100%
rename from src/search/cartesian_abstractions/utils.h
rename to downward/search/cartesian_abstractions/utils.h
diff --git a/src/search/cartesian_abstractions/utils_landmarks.cc b/downward/search/cartesian_abstractions/utils_landmarks.cc
similarity index 100%
rename from src/search/cartesian_abstractions/utils_landmarks.cc
rename to downward/search/cartesian_abstractions/utils_landmarks.cc
diff --git a/src/search/cartesian_abstractions/utils_landmarks.h b/downward/search/cartesian_abstractions/utils_landmarks.h
similarity index 100%
rename from src/search/cartesian_abstractions/utils_landmarks.h
rename to downward/search/cartesian_abstractions/utils_landmarks.h
diff --git a/src/search/cmake/FindCplex.cmake b/downward/search/cmake/FindCplex.cmake
similarity index 100%
rename from src/search/cmake/FindCplex.cmake
rename to downward/search/cmake/FindCplex.cmake
diff --git a/src/search/cmake/common_cxx_flags.cmake b/downward/search/cmake/common_cxx_flags.cmake
similarity index 100%
rename from src/search/cmake/common_cxx_flags.cmake
rename to downward/search/cmake/common_cxx_flags.cmake
diff --git a/src/search/cmake/macros.cmake b/downward/search/cmake/macros.cmake
similarity index 100%
rename from src/search/cmake/macros.cmake
rename to downward/search/cmake/macros.cmake
diff --git a/src/search/cmake/options.cmake b/downward/search/cmake/options.cmake
similarity index 100%
rename from src/search/cmake/options.cmake
rename to downward/search/cmake/options.cmake
diff --git a/src/search/command_line.cc b/downward/search/command_line.cc
similarity index 100%
rename from src/search/command_line.cc
rename to downward/search/command_line.cc
diff --git a/src/search/command_line.h b/downward/search/command_line.h
similarity index 100%
rename from src/search/command_line.h
rename to downward/search/command_line.h
diff --git a/src/search/evaluation_context.cc b/downward/search/evaluation_context.cc
similarity index 100%
rename from src/search/evaluation_context.cc
rename to downward/search/evaluation_context.cc
diff --git a/src/search/evaluation_context.h b/downward/search/evaluation_context.h
similarity index 100%
rename from src/search/evaluation_context.h
rename to downward/search/evaluation_context.h
diff --git a/src/search/evaluation_result.cc b/downward/search/evaluation_result.cc
similarity index 100%
rename from src/search/evaluation_result.cc
rename to downward/search/evaluation_result.cc
diff --git a/src/search/evaluation_result.h b/downward/search/evaluation_result.h
similarity index 100%
rename from src/search/evaluation_result.h
rename to downward/search/evaluation_result.h
diff --git a/src/search/evaluator.cc b/downward/search/evaluator.cc
similarity index 100%
rename from src/search/evaluator.cc
rename to downward/search/evaluator.cc
diff --git a/src/search/evaluator.h b/downward/search/evaluator.h
similarity index 100%
rename from src/search/evaluator.h
rename to downward/search/evaluator.h
diff --git a/src/search/evaluator_cache.cc b/downward/search/evaluator_cache.cc
similarity index 100%
rename from src/search/evaluator_cache.cc
rename to downward/search/evaluator_cache.cc
diff --git a/src/search/evaluator_cache.h b/downward/search/evaluator_cache.h
similarity index 100%
rename from src/search/evaluator_cache.h
rename to downward/search/evaluator_cache.h
diff --git a/src/search/evaluators/combining_evaluator.cc b/downward/search/evaluators/combining_evaluator.cc
similarity index 100%
rename from src/search/evaluators/combining_evaluator.cc
rename to downward/search/evaluators/combining_evaluator.cc
diff --git a/src/search/evaluators/combining_evaluator.h b/downward/search/evaluators/combining_evaluator.h
similarity index 100%
rename from src/search/evaluators/combining_evaluator.h
rename to downward/search/evaluators/combining_evaluator.h
diff --git a/src/search/evaluators/const_evaluator.cc b/downward/search/evaluators/const_evaluator.cc
similarity index 100%
rename from src/search/evaluators/const_evaluator.cc
rename to downward/search/evaluators/const_evaluator.cc
diff --git a/src/search/evaluators/const_evaluator.h b/downward/search/evaluators/const_evaluator.h
similarity index 100%
rename from src/search/evaluators/const_evaluator.h
rename to downward/search/evaluators/const_evaluator.h
diff --git a/src/search/evaluators/g_evaluator.cc b/downward/search/evaluators/g_evaluator.cc
similarity index 100%
rename from src/search/evaluators/g_evaluator.cc
rename to downward/search/evaluators/g_evaluator.cc
diff --git a/src/search/evaluators/g_evaluator.h b/downward/search/evaluators/g_evaluator.h
similarity index 100%
rename from src/search/evaluators/g_evaluator.h
rename to downward/search/evaluators/g_evaluator.h
diff --git a/src/search/evaluators/max_evaluator.cc b/downward/search/evaluators/max_evaluator.cc
similarity index 100%
rename from src/search/evaluators/max_evaluator.cc
rename to downward/search/evaluators/max_evaluator.cc
diff --git a/src/search/evaluators/max_evaluator.h b/downward/search/evaluators/max_evaluator.h
similarity index 100%
rename from src/search/evaluators/max_evaluator.h
rename to downward/search/evaluators/max_evaluator.h
diff --git a/src/search/evaluators/pref_evaluator.cc b/downward/search/evaluators/pref_evaluator.cc
similarity index 100%
rename from src/search/evaluators/pref_evaluator.cc
rename to downward/search/evaluators/pref_evaluator.cc
diff --git a/src/search/evaluators/pref_evaluator.h b/downward/search/evaluators/pref_evaluator.h
similarity index 100%
rename from src/search/evaluators/pref_evaluator.h
rename to downward/search/evaluators/pref_evaluator.h
diff --git a/src/search/evaluators/subcategory.cc b/downward/search/evaluators/subcategory.cc
similarity index 100%
rename from src/search/evaluators/subcategory.cc
rename to downward/search/evaluators/subcategory.cc
diff --git a/src/search/evaluators/sum_evaluator.cc b/downward/search/evaluators/sum_evaluator.cc
similarity index 100%
rename from src/search/evaluators/sum_evaluator.cc
rename to downward/search/evaluators/sum_evaluator.cc
diff --git a/src/search/evaluators/sum_evaluator.h b/downward/search/evaluators/sum_evaluator.h
similarity index 100%
rename from src/search/evaluators/sum_evaluator.h
rename to downward/search/evaluators/sum_evaluator.h
diff --git a/src/search/evaluators/weighted_evaluator.cc b/downward/search/evaluators/weighted_evaluator.cc
similarity index 100%
rename from src/search/evaluators/weighted_evaluator.cc
rename to downward/search/evaluators/weighted_evaluator.cc
diff --git a/src/search/evaluators/weighted_evaluator.h b/downward/search/evaluators/weighted_evaluator.h
similarity index 100%
rename from src/search/evaluators/weighted_evaluator.h
rename to downward/search/evaluators/weighted_evaluator.h
diff --git a/src/search/git_revision.h.in b/downward/search/git_revision.h.in
similarity index 100%
rename from src/search/git_revision.h.in
rename to downward/search/git_revision.h.in
diff --git a/src/search/heuristic.cc b/downward/search/heuristic.cc
similarity index 100%
rename from src/search/heuristic.cc
rename to downward/search/heuristic.cc
diff --git a/src/search/heuristic.h b/downward/search/heuristic.h
similarity index 100%
rename from src/search/heuristic.h
rename to downward/search/heuristic.h
diff --git a/src/search/heuristics/additive_heuristic.cc b/downward/search/heuristics/additive_heuristic.cc
similarity index 100%
rename from src/search/heuristics/additive_heuristic.cc
rename to downward/search/heuristics/additive_heuristic.cc
diff --git a/src/search/heuristics/additive_heuristic.h b/downward/search/heuristics/additive_heuristic.h
similarity index 100%
rename from src/search/heuristics/additive_heuristic.h
rename to downward/search/heuristics/additive_heuristic.h
diff --git a/src/search/heuristics/array_pool.h b/downward/search/heuristics/array_pool.h
similarity index 100%
rename from src/search/heuristics/array_pool.h
rename to downward/search/heuristics/array_pool.h
diff --git a/src/search/heuristics/blind_search_heuristic.cc b/downward/search/heuristics/blind_search_heuristic.cc
similarity index 100%
rename from src/search/heuristics/blind_search_heuristic.cc
rename to downward/search/heuristics/blind_search_heuristic.cc
diff --git a/src/search/heuristics/blind_search_heuristic.h b/downward/search/heuristics/blind_search_heuristic.h
similarity index 100%
rename from src/search/heuristics/blind_search_heuristic.h
rename to downward/search/heuristics/blind_search_heuristic.h
diff --git a/src/search/heuristics/cea_heuristic.cc b/downward/search/heuristics/cea_heuristic.cc
similarity index 100%
rename from src/search/heuristics/cea_heuristic.cc
rename to downward/search/heuristics/cea_heuristic.cc
diff --git a/src/search/heuristics/cea_heuristic.h b/downward/search/heuristics/cea_heuristic.h
similarity index 100%
rename from src/search/heuristics/cea_heuristic.h
rename to downward/search/heuristics/cea_heuristic.h
diff --git a/src/search/heuristics/cg_cache.cc b/downward/search/heuristics/cg_cache.cc
similarity index 100%
rename from src/search/heuristics/cg_cache.cc
rename to downward/search/heuristics/cg_cache.cc
diff --git a/src/search/heuristics/cg_cache.h b/downward/search/heuristics/cg_cache.h
similarity index 100%
rename from src/search/heuristics/cg_cache.h
rename to downward/search/heuristics/cg_cache.h
diff --git a/src/search/heuristics/cg_heuristic.cc b/downward/search/heuristics/cg_heuristic.cc
similarity index 100%
rename from src/search/heuristics/cg_heuristic.cc
rename to downward/search/heuristics/cg_heuristic.cc
diff --git a/src/search/heuristics/cg_heuristic.h b/downward/search/heuristics/cg_heuristic.h
similarity index 100%
rename from src/search/heuristics/cg_heuristic.h
rename to downward/search/heuristics/cg_heuristic.h
diff --git a/src/search/heuristics/domain_transition_graph.cc b/downward/search/heuristics/domain_transition_graph.cc
similarity index 100%
rename from src/search/heuristics/domain_transition_graph.cc
rename to downward/search/heuristics/domain_transition_graph.cc
diff --git a/src/search/heuristics/domain_transition_graph.h b/downward/search/heuristics/domain_transition_graph.h
similarity index 100%
rename from src/search/heuristics/domain_transition_graph.h
rename to downward/search/heuristics/domain_transition_graph.h
diff --git a/src/search/heuristics/ff_heuristic.cc b/downward/search/heuristics/ff_heuristic.cc
similarity index 100%
rename from src/search/heuristics/ff_heuristic.cc
rename to downward/search/heuristics/ff_heuristic.cc
diff --git a/src/search/heuristics/ff_heuristic.h b/downward/search/heuristics/ff_heuristic.h
similarity index 100%
rename from src/search/heuristics/ff_heuristic.h
rename to downward/search/heuristics/ff_heuristic.h
diff --git a/src/search/heuristics/goal_count_heuristic.cc b/downward/search/heuristics/goal_count_heuristic.cc
similarity index 100%
rename from src/search/heuristics/goal_count_heuristic.cc
rename to downward/search/heuristics/goal_count_heuristic.cc
diff --git a/src/search/heuristics/goal_count_heuristic.h b/downward/search/heuristics/goal_count_heuristic.h
similarity index 100%
rename from src/search/heuristics/goal_count_heuristic.h
rename to downward/search/heuristics/goal_count_heuristic.h
diff --git a/src/search/heuristics/hm_heuristic.cc b/downward/search/heuristics/hm_heuristic.cc
similarity index 100%
rename from src/search/heuristics/hm_heuristic.cc
rename to downward/search/heuristics/hm_heuristic.cc
diff --git a/src/search/heuristics/hm_heuristic.h b/downward/search/heuristics/hm_heuristic.h
similarity index 100%
rename from src/search/heuristics/hm_heuristic.h
rename to downward/search/heuristics/hm_heuristic.h
diff --git a/src/search/heuristics/lm_cut_heuristic.cc b/downward/search/heuristics/lm_cut_heuristic.cc
similarity index 100%
rename from src/search/heuristics/lm_cut_heuristic.cc
rename to downward/search/heuristics/lm_cut_heuristic.cc
diff --git a/src/search/heuristics/lm_cut_heuristic.h b/downward/search/heuristics/lm_cut_heuristic.h
similarity index 100%
rename from src/search/heuristics/lm_cut_heuristic.h
rename to downward/search/heuristics/lm_cut_heuristic.h
diff --git a/src/search/heuristics/lm_cut_landmarks.cc b/downward/search/heuristics/lm_cut_landmarks.cc
similarity index 100%
rename from src/search/heuristics/lm_cut_landmarks.cc
rename to downward/search/heuristics/lm_cut_landmarks.cc
diff --git a/src/search/heuristics/lm_cut_landmarks.h b/downward/search/heuristics/lm_cut_landmarks.h
similarity index 100%
rename from src/search/heuristics/lm_cut_landmarks.h
rename to downward/search/heuristics/lm_cut_landmarks.h
diff --git a/src/search/heuristics/max_heuristic.cc b/downward/search/heuristics/max_heuristic.cc
similarity index 100%
rename from src/search/heuristics/max_heuristic.cc
rename to downward/search/heuristics/max_heuristic.cc
diff --git a/src/search/heuristics/max_heuristic.h b/downward/search/heuristics/max_heuristic.h
similarity index 100%
rename from src/search/heuristics/max_heuristic.h
rename to downward/search/heuristics/max_heuristic.h
diff --git a/src/search/heuristics/relaxation_heuristic.cc b/downward/search/heuristics/relaxation_heuristic.cc
similarity index 100%
rename from src/search/heuristics/relaxation_heuristic.cc
rename to downward/search/heuristics/relaxation_heuristic.cc
diff --git a/src/search/heuristics/relaxation_heuristic.h b/downward/search/heuristics/relaxation_heuristic.h
similarity index 100%
rename from src/search/heuristics/relaxation_heuristic.h
rename to downward/search/heuristics/relaxation_heuristic.h
diff --git a/src/search/landmarks/exploration.cc b/downward/search/landmarks/exploration.cc
similarity index 100%
rename from src/search/landmarks/exploration.cc
rename to downward/search/landmarks/exploration.cc
diff --git a/src/search/landmarks/exploration.h b/downward/search/landmarks/exploration.h
similarity index 100%
rename from src/search/landmarks/exploration.h
rename to downward/search/landmarks/exploration.h
diff --git a/src/search/landmarks/landmark.cc b/downward/search/landmarks/landmark.cc
similarity index 100%
rename from src/search/landmarks/landmark.cc
rename to downward/search/landmarks/landmark.cc
diff --git a/src/search/landmarks/landmark.h b/downward/search/landmarks/landmark.h
similarity index 100%
rename from src/search/landmarks/landmark.h
rename to downward/search/landmarks/landmark.h
diff --git a/src/search/landmarks/landmark_cost_partitioning_algorithms.cc b/downward/search/landmarks/landmark_cost_partitioning_algorithms.cc
similarity index 100%
rename from src/search/landmarks/landmark_cost_partitioning_algorithms.cc
rename to downward/search/landmarks/landmark_cost_partitioning_algorithms.cc
diff --git a/src/search/landmarks/landmark_cost_partitioning_algorithms.h b/downward/search/landmarks/landmark_cost_partitioning_algorithms.h
similarity index 100%
rename from src/search/landmarks/landmark_cost_partitioning_algorithms.h
rename to downward/search/landmarks/landmark_cost_partitioning_algorithms.h
diff --git a/src/search/landmarks/landmark_cost_partitioning_heuristic.cc b/downward/search/landmarks/landmark_cost_partitioning_heuristic.cc
similarity index 100%
rename from src/search/landmarks/landmark_cost_partitioning_heuristic.cc
rename to downward/search/landmarks/landmark_cost_partitioning_heuristic.cc
diff --git a/src/search/landmarks/landmark_cost_partitioning_heuristic.h b/downward/search/landmarks/landmark_cost_partitioning_heuristic.h
similarity index 100%
rename from src/search/landmarks/landmark_cost_partitioning_heuristic.h
rename to downward/search/landmarks/landmark_cost_partitioning_heuristic.h
diff --git a/src/search/landmarks/landmark_factory.cc b/downward/search/landmarks/landmark_factory.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory.cc
rename to downward/search/landmarks/landmark_factory.cc
diff --git a/src/search/landmarks/landmark_factory.h b/downward/search/landmarks/landmark_factory.h
similarity index 100%
rename from src/search/landmarks/landmark_factory.h
rename to downward/search/landmarks/landmark_factory.h
diff --git a/src/search/landmarks/landmark_factory_hm.cc b/downward/search/landmarks/landmark_factory_hm.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_hm.cc
rename to downward/search/landmarks/landmark_factory_hm.cc
diff --git a/src/search/landmarks/landmark_factory_hm.h b/downward/search/landmarks/landmark_factory_hm.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_hm.h
rename to downward/search/landmarks/landmark_factory_hm.h
diff --git a/src/search/landmarks/landmark_factory_merged.cc b/downward/search/landmarks/landmark_factory_merged.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_merged.cc
rename to downward/search/landmarks/landmark_factory_merged.cc
diff --git a/src/search/landmarks/landmark_factory_merged.h b/downward/search/landmarks/landmark_factory_merged.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_merged.h
rename to downward/search/landmarks/landmark_factory_merged.h
diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc b/downward/search/landmarks/landmark_factory_reasonable_orders_hps.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
rename to downward/search/landmarks/landmark_factory_reasonable_orders_hps.cc
diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.h b/downward/search/landmarks/landmark_factory_reasonable_orders_hps.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_reasonable_orders_hps.h
rename to downward/search/landmarks/landmark_factory_reasonable_orders_hps.h
diff --git a/src/search/landmarks/landmark_factory_relaxation.cc b/downward/search/landmarks/landmark_factory_relaxation.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_relaxation.cc
rename to downward/search/landmarks/landmark_factory_relaxation.cc
diff --git a/src/search/landmarks/landmark_factory_relaxation.h b/downward/search/landmarks/landmark_factory_relaxation.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_relaxation.h
rename to downward/search/landmarks/landmark_factory_relaxation.h
diff --git a/src/search/landmarks/landmark_factory_rpg_exhaust.cc b/downward/search/landmarks/landmark_factory_rpg_exhaust.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_rpg_exhaust.cc
rename to downward/search/landmarks/landmark_factory_rpg_exhaust.cc
diff --git a/src/search/landmarks/landmark_factory_rpg_exhaust.h b/downward/search/landmarks/landmark_factory_rpg_exhaust.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_rpg_exhaust.h
rename to downward/search/landmarks/landmark_factory_rpg_exhaust.h
diff --git a/src/search/landmarks/landmark_factory_rpg_sasp.cc b/downward/search/landmarks/landmark_factory_rpg_sasp.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_rpg_sasp.cc
rename to downward/search/landmarks/landmark_factory_rpg_sasp.cc
diff --git a/src/search/landmarks/landmark_factory_rpg_sasp.h b/downward/search/landmarks/landmark_factory_rpg_sasp.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_rpg_sasp.h
rename to downward/search/landmarks/landmark_factory_rpg_sasp.h
diff --git a/src/search/landmarks/landmark_factory_zhu_givan.cc b/downward/search/landmarks/landmark_factory_zhu_givan.cc
similarity index 100%
rename from src/search/landmarks/landmark_factory_zhu_givan.cc
rename to downward/search/landmarks/landmark_factory_zhu_givan.cc
diff --git a/src/search/landmarks/landmark_factory_zhu_givan.h b/downward/search/landmarks/landmark_factory_zhu_givan.h
similarity index 100%
rename from src/search/landmarks/landmark_factory_zhu_givan.h
rename to downward/search/landmarks/landmark_factory_zhu_givan.h
diff --git a/src/search/landmarks/landmark_graph.cc b/downward/search/landmarks/landmark_graph.cc
similarity index 100%
rename from src/search/landmarks/landmark_graph.cc
rename to downward/search/landmarks/landmark_graph.cc
diff --git a/src/search/landmarks/landmark_graph.h b/downward/search/landmarks/landmark_graph.h
similarity index 100%
rename from src/search/landmarks/landmark_graph.h
rename to downward/search/landmarks/landmark_graph.h
diff --git a/src/search/landmarks/landmark_heuristic.cc b/downward/search/landmarks/landmark_heuristic.cc
similarity index 100%
rename from src/search/landmarks/landmark_heuristic.cc
rename to downward/search/landmarks/landmark_heuristic.cc
diff --git a/src/search/landmarks/landmark_heuristic.h b/downward/search/landmarks/landmark_heuristic.h
similarity index 100%
rename from src/search/landmarks/landmark_heuristic.h
rename to downward/search/landmarks/landmark_heuristic.h
diff --git a/src/search/landmarks/landmark_status_manager.cc b/downward/search/landmarks/landmark_status_manager.cc
similarity index 100%
rename from src/search/landmarks/landmark_status_manager.cc
rename to downward/search/landmarks/landmark_status_manager.cc
diff --git a/src/search/landmarks/landmark_status_manager.h b/downward/search/landmarks/landmark_status_manager.h
similarity index 100%
rename from src/search/landmarks/landmark_status_manager.h
rename to downward/search/landmarks/landmark_status_manager.h
diff --git a/src/search/landmarks/landmark_sum_heuristic.cc b/downward/search/landmarks/landmark_sum_heuristic.cc
similarity index 100%
rename from src/search/landmarks/landmark_sum_heuristic.cc
rename to downward/search/landmarks/landmark_sum_heuristic.cc
diff --git a/src/search/landmarks/landmark_sum_heuristic.h b/downward/search/landmarks/landmark_sum_heuristic.h
similarity index 100%
rename from src/search/landmarks/landmark_sum_heuristic.h
rename to downward/search/landmarks/landmark_sum_heuristic.h
diff --git a/src/search/landmarks/util.cc b/downward/search/landmarks/util.cc
similarity index 100%
rename from src/search/landmarks/util.cc
rename to downward/search/landmarks/util.cc
diff --git a/src/search/landmarks/util.h b/downward/search/landmarks/util.h
similarity index 100%
rename from src/search/landmarks/util.h
rename to downward/search/landmarks/util.h
diff --git a/src/search/lp/cplex_solver_interface.cc b/downward/search/lp/cplex_solver_interface.cc
similarity index 100%
rename from src/search/lp/cplex_solver_interface.cc
rename to downward/search/lp/cplex_solver_interface.cc
diff --git a/src/search/lp/cplex_solver_interface.h b/downward/search/lp/cplex_solver_interface.h
similarity index 100%
rename from src/search/lp/cplex_solver_interface.h
rename to downward/search/lp/cplex_solver_interface.h
diff --git a/src/search/lp/lp_solver.cc b/downward/search/lp/lp_solver.cc
similarity index 100%
rename from src/search/lp/lp_solver.cc
rename to downward/search/lp/lp_solver.cc
diff --git a/src/search/lp/lp_solver.h b/downward/search/lp/lp_solver.h
similarity index 100%
rename from src/search/lp/lp_solver.h
rename to downward/search/lp/lp_solver.h
diff --git a/src/search/lp/solver_interface.h b/downward/search/lp/solver_interface.h
similarity index 100%
rename from src/search/lp/solver_interface.h
rename to downward/search/lp/solver_interface.h
diff --git a/src/search/lp/soplex_solver_interface.cc b/downward/search/lp/soplex_solver_interface.cc
similarity index 100%
rename from src/search/lp/soplex_solver_interface.cc
rename to downward/search/lp/soplex_solver_interface.cc
diff --git a/src/search/lp/soplex_solver_interface.h b/downward/search/lp/soplex_solver_interface.h
similarity index 100%
rename from src/search/lp/soplex_solver_interface.h
rename to downward/search/lp/soplex_solver_interface.h
diff --git a/src/search/merge_and_shrink/distances.cc b/downward/search/merge_and_shrink/distances.cc
similarity index 100%
rename from src/search/merge_and_shrink/distances.cc
rename to downward/search/merge_and_shrink/distances.cc
diff --git a/src/search/merge_and_shrink/distances.h b/downward/search/merge_and_shrink/distances.h
similarity index 100%
rename from src/search/merge_and_shrink/distances.h
rename to downward/search/merge_and_shrink/distances.h
diff --git a/src/search/merge_and_shrink/factored_transition_system.cc b/downward/search/merge_and_shrink/factored_transition_system.cc
similarity index 100%
rename from src/search/merge_and_shrink/factored_transition_system.cc
rename to downward/search/merge_and_shrink/factored_transition_system.cc
diff --git a/src/search/merge_and_shrink/factored_transition_system.h b/downward/search/merge_and_shrink/factored_transition_system.h
similarity index 100%
rename from src/search/merge_and_shrink/factored_transition_system.h
rename to downward/search/merge_and_shrink/factored_transition_system.h
diff --git a/src/search/merge_and_shrink/fts_factory.cc b/downward/search/merge_and_shrink/fts_factory.cc
similarity index 100%
rename from src/search/merge_and_shrink/fts_factory.cc
rename to downward/search/merge_and_shrink/fts_factory.cc
diff --git a/src/search/merge_and_shrink/fts_factory.h b/downward/search/merge_and_shrink/fts_factory.h
similarity index 100%
rename from src/search/merge_and_shrink/fts_factory.h
rename to downward/search/merge_and_shrink/fts_factory.h
diff --git a/src/search/merge_and_shrink/label_reduction.cc b/downward/search/merge_and_shrink/label_reduction.cc
similarity index 100%
rename from src/search/merge_and_shrink/label_reduction.cc
rename to downward/search/merge_and_shrink/label_reduction.cc
diff --git a/src/search/merge_and_shrink/label_reduction.h b/downward/search/merge_and_shrink/label_reduction.h
similarity index 100%
rename from src/search/merge_and_shrink/label_reduction.h
rename to downward/search/merge_and_shrink/label_reduction.h
diff --git a/src/search/merge_and_shrink/labels.cc b/downward/search/merge_and_shrink/labels.cc
similarity index 100%
rename from src/search/merge_and_shrink/labels.cc
rename to downward/search/merge_and_shrink/labels.cc
diff --git a/src/search/merge_and_shrink/labels.h b/downward/search/merge_and_shrink/labels.h
similarity index 100%
rename from src/search/merge_and_shrink/labels.h
rename to downward/search/merge_and_shrink/labels.h
diff --git a/src/search/merge_and_shrink/merge_and_shrink_algorithm.cc b/downward/search/merge_and_shrink/merge_and_shrink_algorithm.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_and_shrink_algorithm.cc
rename to downward/search/merge_and_shrink/merge_and_shrink_algorithm.cc
diff --git a/src/search/merge_and_shrink/merge_and_shrink_algorithm.h b/downward/search/merge_and_shrink/merge_and_shrink_algorithm.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_and_shrink_algorithm.h
rename to downward/search/merge_and_shrink/merge_and_shrink_algorithm.h
diff --git a/src/search/merge_and_shrink/merge_and_shrink_heuristic.cc b/downward/search/merge_and_shrink/merge_and_shrink_heuristic.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_and_shrink_heuristic.cc
rename to downward/search/merge_and_shrink/merge_and_shrink_heuristic.cc
diff --git a/src/search/merge_and_shrink/merge_and_shrink_heuristic.h b/downward/search/merge_and_shrink/merge_and_shrink_heuristic.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_and_shrink_heuristic.h
rename to downward/search/merge_and_shrink/merge_and_shrink_heuristic.h
diff --git a/src/search/merge_and_shrink/merge_and_shrink_representation.cc b/downward/search/merge_and_shrink/merge_and_shrink_representation.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_and_shrink_representation.cc
rename to downward/search/merge_and_shrink/merge_and_shrink_representation.cc
diff --git a/src/search/merge_and_shrink/merge_and_shrink_representation.h b/downward/search/merge_and_shrink/merge_and_shrink_representation.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_and_shrink_representation.h
rename to downward/search/merge_and_shrink/merge_and_shrink_representation.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function.cc b/downward/search/merge_and_shrink/merge_scoring_function.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function.cc
rename to downward/search/merge_and_shrink/merge_scoring_function.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function.h b/downward/search/merge_and_shrink/merge_scoring_function.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function.h
rename to downward/search/merge_and_shrink/merge_scoring_function.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function_dfp.cc b/downward/search/merge_and_shrink/merge_scoring_function_dfp.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_dfp.cc
rename to downward/search/merge_and_shrink/merge_scoring_function_dfp.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function_dfp.h b/downward/search/merge_and_shrink/merge_scoring_function_dfp.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_dfp.h
rename to downward/search/merge_and_shrink/merge_scoring_function_dfp.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function_goal_relevance.cc b/downward/search/merge_and_shrink/merge_scoring_function_goal_relevance.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_goal_relevance.cc
rename to downward/search/merge_and_shrink/merge_scoring_function_goal_relevance.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function_goal_relevance.h b/downward/search/merge_and_shrink/merge_scoring_function_goal_relevance.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_goal_relevance.h
rename to downward/search/merge_and_shrink/merge_scoring_function_goal_relevance.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function_miasm.cc b/downward/search/merge_and_shrink/merge_scoring_function_miasm.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_miasm.cc
rename to downward/search/merge_and_shrink/merge_scoring_function_miasm.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function_miasm.h b/downward/search/merge_and_shrink/merge_scoring_function_miasm.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_miasm.h
rename to downward/search/merge_and_shrink/merge_scoring_function_miasm.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function_miasm_utils.cc b/downward/search/merge_and_shrink/merge_scoring_function_miasm_utils.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_miasm_utils.cc
rename to downward/search/merge_and_shrink/merge_scoring_function_miasm_utils.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function_miasm_utils.h b/downward/search/merge_and_shrink/merge_scoring_function_miasm_utils.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_miasm_utils.h
rename to downward/search/merge_and_shrink/merge_scoring_function_miasm_utils.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function_single_random.cc b/downward/search/merge_and_shrink/merge_scoring_function_single_random.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_single_random.cc
rename to downward/search/merge_and_shrink/merge_scoring_function_single_random.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function_single_random.h b/downward/search/merge_and_shrink/merge_scoring_function_single_random.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_single_random.h
rename to downward/search/merge_and_shrink/merge_scoring_function_single_random.h
diff --git a/src/search/merge_and_shrink/merge_scoring_function_total_order.cc b/downward/search/merge_and_shrink/merge_scoring_function_total_order.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_total_order.cc
rename to downward/search/merge_and_shrink/merge_scoring_function_total_order.cc
diff --git a/src/search/merge_and_shrink/merge_scoring_function_total_order.h b/downward/search/merge_and_shrink/merge_scoring_function_total_order.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_scoring_function_total_order.h
rename to downward/search/merge_and_shrink/merge_scoring_function_total_order.h
diff --git a/src/search/merge_and_shrink/merge_selector.cc b/downward/search/merge_and_shrink/merge_selector.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_selector.cc
rename to downward/search/merge_and_shrink/merge_selector.cc
diff --git a/src/search/merge_and_shrink/merge_selector.h b/downward/search/merge_and_shrink/merge_selector.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_selector.h
rename to downward/search/merge_and_shrink/merge_selector.h
diff --git a/src/search/merge_and_shrink/merge_selector_score_based_filtering.cc b/downward/search/merge_and_shrink/merge_selector_score_based_filtering.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_selector_score_based_filtering.cc
rename to downward/search/merge_and_shrink/merge_selector_score_based_filtering.cc
diff --git a/src/search/merge_and_shrink/merge_selector_score_based_filtering.h b/downward/search/merge_and_shrink/merge_selector_score_based_filtering.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_selector_score_based_filtering.h
rename to downward/search/merge_and_shrink/merge_selector_score_based_filtering.h
diff --git a/src/search/merge_and_shrink/merge_strategy.cc b/downward/search/merge_and_shrink/merge_strategy.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy.cc
rename to downward/search/merge_and_shrink/merge_strategy.cc
diff --git a/src/search/merge_and_shrink/merge_strategy.h b/downward/search/merge_and_shrink/merge_strategy.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy.h
rename to downward/search/merge_and_shrink/merge_strategy.h
diff --git a/src/search/merge_and_shrink/merge_strategy_factory.cc b/downward/search/merge_and_shrink/merge_strategy_factory.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory.cc
rename to downward/search/merge_and_shrink/merge_strategy_factory.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_factory.h b/downward/search/merge_and_shrink/merge_strategy_factory.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory.h
rename to downward/search/merge_and_shrink/merge_strategy_factory.h
diff --git a/src/search/merge_and_shrink/merge_strategy_factory_precomputed.cc b/downward/search/merge_and_shrink/merge_strategy_factory_precomputed.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory_precomputed.cc
rename to downward/search/merge_and_shrink/merge_strategy_factory_precomputed.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_factory_precomputed.h b/downward/search/merge_and_shrink/merge_strategy_factory_precomputed.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory_precomputed.h
rename to downward/search/merge_and_shrink/merge_strategy_factory_precomputed.h
diff --git a/src/search/merge_and_shrink/merge_strategy_factory_sccs.cc b/downward/search/merge_and_shrink/merge_strategy_factory_sccs.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory_sccs.cc
rename to downward/search/merge_and_shrink/merge_strategy_factory_sccs.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_factory_sccs.h b/downward/search/merge_and_shrink/merge_strategy_factory_sccs.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory_sccs.h
rename to downward/search/merge_and_shrink/merge_strategy_factory_sccs.h
diff --git a/src/search/merge_and_shrink/merge_strategy_factory_stateless.cc b/downward/search/merge_and_shrink/merge_strategy_factory_stateless.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory_stateless.cc
rename to downward/search/merge_and_shrink/merge_strategy_factory_stateless.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_factory_stateless.h b/downward/search/merge_and_shrink/merge_strategy_factory_stateless.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_factory_stateless.h
rename to downward/search/merge_and_shrink/merge_strategy_factory_stateless.h
diff --git a/src/search/merge_and_shrink/merge_strategy_precomputed.cc b/downward/search/merge_and_shrink/merge_strategy_precomputed.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_precomputed.cc
rename to downward/search/merge_and_shrink/merge_strategy_precomputed.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_precomputed.h b/downward/search/merge_and_shrink/merge_strategy_precomputed.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_precomputed.h
rename to downward/search/merge_and_shrink/merge_strategy_precomputed.h
diff --git a/src/search/merge_and_shrink/merge_strategy_sccs.cc b/downward/search/merge_and_shrink/merge_strategy_sccs.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_sccs.cc
rename to downward/search/merge_and_shrink/merge_strategy_sccs.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_sccs.h b/downward/search/merge_and_shrink/merge_strategy_sccs.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_sccs.h
rename to downward/search/merge_and_shrink/merge_strategy_sccs.h
diff --git a/src/search/merge_and_shrink/merge_strategy_stateless.cc b/downward/search/merge_and_shrink/merge_strategy_stateless.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_stateless.cc
rename to downward/search/merge_and_shrink/merge_strategy_stateless.cc
diff --git a/src/search/merge_and_shrink/merge_strategy_stateless.h b/downward/search/merge_and_shrink/merge_strategy_stateless.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_strategy_stateless.h
rename to downward/search/merge_and_shrink/merge_strategy_stateless.h
diff --git a/src/search/merge_and_shrink/merge_tree.cc b/downward/search/merge_and_shrink/merge_tree.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_tree.cc
rename to downward/search/merge_and_shrink/merge_tree.cc
diff --git a/src/search/merge_and_shrink/merge_tree.h b/downward/search/merge_and_shrink/merge_tree.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_tree.h
rename to downward/search/merge_and_shrink/merge_tree.h
diff --git a/src/search/merge_and_shrink/merge_tree_factory.cc b/downward/search/merge_and_shrink/merge_tree_factory.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_tree_factory.cc
rename to downward/search/merge_and_shrink/merge_tree_factory.cc
diff --git a/src/search/merge_and_shrink/merge_tree_factory.h b/downward/search/merge_and_shrink/merge_tree_factory.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_tree_factory.h
rename to downward/search/merge_and_shrink/merge_tree_factory.h
diff --git a/src/search/merge_and_shrink/merge_tree_factory_linear.cc b/downward/search/merge_and_shrink/merge_tree_factory_linear.cc
similarity index 100%
rename from src/search/merge_and_shrink/merge_tree_factory_linear.cc
rename to downward/search/merge_and_shrink/merge_tree_factory_linear.cc
diff --git a/src/search/merge_and_shrink/merge_tree_factory_linear.h b/downward/search/merge_and_shrink/merge_tree_factory_linear.h
similarity index 100%
rename from src/search/merge_and_shrink/merge_tree_factory_linear.h
rename to downward/search/merge_and_shrink/merge_tree_factory_linear.h
diff --git a/src/search/merge_and_shrink/shrink_bisimulation.cc b/downward/search/merge_and_shrink/shrink_bisimulation.cc
similarity index 100%
rename from src/search/merge_and_shrink/shrink_bisimulation.cc
rename to downward/search/merge_and_shrink/shrink_bisimulation.cc
diff --git a/src/search/merge_and_shrink/shrink_bisimulation.h b/downward/search/merge_and_shrink/shrink_bisimulation.h
similarity index 100%
rename from src/search/merge_and_shrink/shrink_bisimulation.h
rename to downward/search/merge_and_shrink/shrink_bisimulation.h
diff --git a/src/search/merge_and_shrink/shrink_bucket_based.cc b/downward/search/merge_and_shrink/shrink_bucket_based.cc
similarity index 100%
rename from src/search/merge_and_shrink/shrink_bucket_based.cc
rename to downward/search/merge_and_shrink/shrink_bucket_based.cc
diff --git a/src/search/merge_and_shrink/shrink_bucket_based.h b/downward/search/merge_and_shrink/shrink_bucket_based.h
similarity index 100%
rename from src/search/merge_and_shrink/shrink_bucket_based.h
rename to downward/search/merge_and_shrink/shrink_bucket_based.h
diff --git a/src/search/merge_and_shrink/shrink_fh.cc b/downward/search/merge_and_shrink/shrink_fh.cc
similarity index 100%
rename from src/search/merge_and_shrink/shrink_fh.cc
rename to downward/search/merge_and_shrink/shrink_fh.cc
diff --git a/src/search/merge_and_shrink/shrink_fh.h b/downward/search/merge_and_shrink/shrink_fh.h
similarity index 100%
rename from src/search/merge_and_shrink/shrink_fh.h
rename to downward/search/merge_and_shrink/shrink_fh.h
diff --git a/src/search/merge_and_shrink/shrink_random.cc b/downward/search/merge_and_shrink/shrink_random.cc
similarity index 100%
rename from src/search/merge_and_shrink/shrink_random.cc
rename to downward/search/merge_and_shrink/shrink_random.cc
diff --git a/src/search/merge_and_shrink/shrink_random.h b/downward/search/merge_and_shrink/shrink_random.h
similarity index 100%
rename from src/search/merge_and_shrink/shrink_random.h
rename to downward/search/merge_and_shrink/shrink_random.h
diff --git a/src/search/merge_and_shrink/shrink_strategy.cc b/downward/search/merge_and_shrink/shrink_strategy.cc
similarity index 100%
rename from src/search/merge_and_shrink/shrink_strategy.cc
rename to downward/search/merge_and_shrink/shrink_strategy.cc
diff --git a/src/search/merge_and_shrink/shrink_strategy.h b/downward/search/merge_and_shrink/shrink_strategy.h
similarity index 100%
rename from src/search/merge_and_shrink/shrink_strategy.h
rename to downward/search/merge_and_shrink/shrink_strategy.h
diff --git a/src/search/merge_and_shrink/transition_system.cc b/downward/search/merge_and_shrink/transition_system.cc
similarity index 100%
rename from src/search/merge_and_shrink/transition_system.cc
rename to downward/search/merge_and_shrink/transition_system.cc
diff --git a/src/search/merge_and_shrink/transition_system.h b/downward/search/merge_and_shrink/transition_system.h
similarity index 100%
rename from src/search/merge_and_shrink/transition_system.h
rename to downward/search/merge_and_shrink/transition_system.h
diff --git a/src/search/merge_and_shrink/types.cc b/downward/search/merge_and_shrink/types.cc
similarity index 100%
rename from src/search/merge_and_shrink/types.cc
rename to downward/search/merge_and_shrink/types.cc
diff --git a/src/search/merge_and_shrink/types.h b/downward/search/merge_and_shrink/types.h
similarity index 100%
rename from src/search/merge_and_shrink/types.h
rename to downward/search/merge_and_shrink/types.h
diff --git a/src/search/merge_and_shrink/utils.cc b/downward/search/merge_and_shrink/utils.cc
similarity index 100%
rename from src/search/merge_and_shrink/utils.cc
rename to downward/search/merge_and_shrink/utils.cc
diff --git a/src/search/merge_and_shrink/utils.h b/downward/search/merge_and_shrink/utils.h
similarity index 100%
rename from src/search/merge_and_shrink/utils.h
rename to downward/search/merge_and_shrink/utils.h
diff --git a/src/search/open_list.h b/downward/search/open_list.h
similarity index 100%
rename from src/search/open_list.h
rename to downward/search/open_list.h
diff --git a/src/search/open_list_factory.cc b/downward/search/open_list_factory.cc
similarity index 100%
rename from src/search/open_list_factory.cc
rename to downward/search/open_list_factory.cc
diff --git a/src/search/open_list_factory.h b/downward/search/open_list_factory.h
similarity index 100%
rename from src/search/open_list_factory.h
rename to downward/search/open_list_factory.h
diff --git a/src/search/open_lists/alternation_open_list.cc b/downward/search/open_lists/alternation_open_list.cc
similarity index 100%
rename from src/search/open_lists/alternation_open_list.cc
rename to downward/search/open_lists/alternation_open_list.cc
diff --git a/src/search/open_lists/alternation_open_list.h b/downward/search/open_lists/alternation_open_list.h
similarity index 100%
rename from src/search/open_lists/alternation_open_list.h
rename to downward/search/open_lists/alternation_open_list.h
diff --git a/src/search/open_lists/best_first_open_list.cc b/downward/search/open_lists/best_first_open_list.cc
similarity index 100%
rename from src/search/open_lists/best_first_open_list.cc
rename to downward/search/open_lists/best_first_open_list.cc
diff --git a/src/search/open_lists/best_first_open_list.h b/downward/search/open_lists/best_first_open_list.h
similarity index 100%
rename from src/search/open_lists/best_first_open_list.h
rename to downward/search/open_lists/best_first_open_list.h
diff --git a/src/search/open_lists/epsilon_greedy_open_list.cc b/downward/search/open_lists/epsilon_greedy_open_list.cc
similarity index 100%
rename from src/search/open_lists/epsilon_greedy_open_list.cc
rename to downward/search/open_lists/epsilon_greedy_open_list.cc
diff --git a/src/search/open_lists/epsilon_greedy_open_list.h b/downward/search/open_lists/epsilon_greedy_open_list.h
similarity index 100%
rename from src/search/open_lists/epsilon_greedy_open_list.h
rename to downward/search/open_lists/epsilon_greedy_open_list.h
diff --git a/src/search/open_lists/pareto_open_list.cc b/downward/search/open_lists/pareto_open_list.cc
similarity index 100%
rename from src/search/open_lists/pareto_open_list.cc
rename to downward/search/open_lists/pareto_open_list.cc
diff --git a/src/search/open_lists/pareto_open_list.h b/downward/search/open_lists/pareto_open_list.h
similarity index 100%
rename from src/search/open_lists/pareto_open_list.h
rename to downward/search/open_lists/pareto_open_list.h
diff --git a/src/search/open_lists/tiebreaking_open_list.cc b/downward/search/open_lists/tiebreaking_open_list.cc
similarity index 100%
rename from src/search/open_lists/tiebreaking_open_list.cc
rename to downward/search/open_lists/tiebreaking_open_list.cc
diff --git a/src/search/open_lists/tiebreaking_open_list.h b/downward/search/open_lists/tiebreaking_open_list.h
similarity index 100%
rename from src/search/open_lists/tiebreaking_open_list.h
rename to downward/search/open_lists/tiebreaking_open_list.h
diff --git a/src/search/open_lists/type_based_open_list.cc b/downward/search/open_lists/type_based_open_list.cc
similarity index 100%
rename from src/search/open_lists/type_based_open_list.cc
rename to downward/search/open_lists/type_based_open_list.cc
diff --git a/src/search/open_lists/type_based_open_list.h b/downward/search/open_lists/type_based_open_list.h
similarity index 100%
rename from src/search/open_lists/type_based_open_list.h
rename to downward/search/open_lists/type_based_open_list.h
diff --git a/src/search/operator_cost.cc b/downward/search/operator_cost.cc
similarity index 100%
rename from src/search/operator_cost.cc
rename to downward/search/operator_cost.cc
diff --git a/src/search/operator_cost.h b/downward/search/operator_cost.h
similarity index 100%
rename from src/search/operator_cost.h
rename to downward/search/operator_cost.h
diff --git a/src/search/operator_counting/constraint_generator.cc b/downward/search/operator_counting/constraint_generator.cc
similarity index 100%
rename from src/search/operator_counting/constraint_generator.cc
rename to downward/search/operator_counting/constraint_generator.cc
diff --git a/src/search/operator_counting/constraint_generator.h b/downward/search/operator_counting/constraint_generator.h
similarity index 100%
rename from src/search/operator_counting/constraint_generator.h
rename to downward/search/operator_counting/constraint_generator.h
diff --git a/src/search/operator_counting/delete_relaxation_if_constraints.cc b/downward/search/operator_counting/delete_relaxation_if_constraints.cc
similarity index 100%
rename from src/search/operator_counting/delete_relaxation_if_constraints.cc
rename to downward/search/operator_counting/delete_relaxation_if_constraints.cc
diff --git a/src/search/operator_counting/delete_relaxation_if_constraints.h b/downward/search/operator_counting/delete_relaxation_if_constraints.h
similarity index 100%
rename from src/search/operator_counting/delete_relaxation_if_constraints.h
rename to downward/search/operator_counting/delete_relaxation_if_constraints.h
diff --git a/src/search/operator_counting/delete_relaxation_rr_constraints.cc b/downward/search/operator_counting/delete_relaxation_rr_constraints.cc
similarity index 100%
rename from src/search/operator_counting/delete_relaxation_rr_constraints.cc
rename to downward/search/operator_counting/delete_relaxation_rr_constraints.cc
diff --git a/src/search/operator_counting/delete_relaxation_rr_constraints.h b/downward/search/operator_counting/delete_relaxation_rr_constraints.h
similarity index 100%
rename from src/search/operator_counting/delete_relaxation_rr_constraints.h
rename to downward/search/operator_counting/delete_relaxation_rr_constraints.h
diff --git a/src/search/operator_counting/lm_cut_constraints.cc b/downward/search/operator_counting/lm_cut_constraints.cc
similarity index 100%
rename from src/search/operator_counting/lm_cut_constraints.cc
rename to downward/search/operator_counting/lm_cut_constraints.cc
diff --git a/src/search/operator_counting/lm_cut_constraints.h b/downward/search/operator_counting/lm_cut_constraints.h
similarity index 100%
rename from src/search/operator_counting/lm_cut_constraints.h
rename to downward/search/operator_counting/lm_cut_constraints.h
diff --git a/src/search/operator_counting/operator_counting_heuristic.cc b/downward/search/operator_counting/operator_counting_heuristic.cc
similarity index 100%
rename from src/search/operator_counting/operator_counting_heuristic.cc
rename to downward/search/operator_counting/operator_counting_heuristic.cc
diff --git a/src/search/operator_counting/operator_counting_heuristic.h b/downward/search/operator_counting/operator_counting_heuristic.h
similarity index 100%
rename from src/search/operator_counting/operator_counting_heuristic.h
rename to downward/search/operator_counting/operator_counting_heuristic.h
diff --git a/src/search/operator_counting/pho_constraints.cc b/downward/search/operator_counting/pho_constraints.cc
similarity index 100%
rename from src/search/operator_counting/pho_constraints.cc
rename to downward/search/operator_counting/pho_constraints.cc
diff --git a/src/search/operator_counting/pho_constraints.h b/downward/search/operator_counting/pho_constraints.h
similarity index 100%
rename from src/search/operator_counting/pho_constraints.h
rename to downward/search/operator_counting/pho_constraints.h
diff --git a/src/search/operator_counting/state_equation_constraints.cc b/downward/search/operator_counting/state_equation_constraints.cc
similarity index 100%
rename from src/search/operator_counting/state_equation_constraints.cc
rename to downward/search/operator_counting/state_equation_constraints.cc
diff --git a/src/search/operator_counting/state_equation_constraints.h b/downward/search/operator_counting/state_equation_constraints.h
similarity index 100%
rename from src/search/operator_counting/state_equation_constraints.h
rename to downward/search/operator_counting/state_equation_constraints.h
diff --git a/src/search/operator_id.cc b/downward/search/operator_id.cc
similarity index 100%
rename from src/search/operator_id.cc
rename to downward/search/operator_id.cc
diff --git a/src/search/operator_id.h b/downward/search/operator_id.h
similarity index 100%
rename from src/search/operator_id.h
rename to downward/search/operator_id.h
diff --git a/src/search/parser/abstract_syntax_tree.cc b/downward/search/parser/abstract_syntax_tree.cc
similarity index 100%
rename from src/search/parser/abstract_syntax_tree.cc
rename to downward/search/parser/abstract_syntax_tree.cc
diff --git a/src/search/parser/abstract_syntax_tree.h b/downward/search/parser/abstract_syntax_tree.h
similarity index 100%
rename from src/search/parser/abstract_syntax_tree.h
rename to downward/search/parser/abstract_syntax_tree.h
diff --git a/src/search/parser/decorated_abstract_syntax_tree.cc b/downward/search/parser/decorated_abstract_syntax_tree.cc
similarity index 100%
rename from src/search/parser/decorated_abstract_syntax_tree.cc
rename to downward/search/parser/decorated_abstract_syntax_tree.cc
diff --git a/src/search/parser/decorated_abstract_syntax_tree.h b/downward/search/parser/decorated_abstract_syntax_tree.h
similarity index 100%
rename from src/search/parser/decorated_abstract_syntax_tree.h
rename to downward/search/parser/decorated_abstract_syntax_tree.h
diff --git a/src/search/parser/lexical_analyzer.cc b/downward/search/parser/lexical_analyzer.cc
similarity index 100%
rename from src/search/parser/lexical_analyzer.cc
rename to downward/search/parser/lexical_analyzer.cc
diff --git a/src/search/parser/lexical_analyzer.h b/downward/search/parser/lexical_analyzer.h
similarity index 100%
rename from src/search/parser/lexical_analyzer.h
rename to downward/search/parser/lexical_analyzer.h
diff --git a/src/search/parser/syntax_analyzer.cc b/downward/search/parser/syntax_analyzer.cc
similarity index 100%
rename from src/search/parser/syntax_analyzer.cc
rename to downward/search/parser/syntax_analyzer.cc
diff --git a/src/search/parser/syntax_analyzer.h b/downward/search/parser/syntax_analyzer.h
similarity index 100%
rename from src/search/parser/syntax_analyzer.h
rename to downward/search/parser/syntax_analyzer.h
diff --git a/src/search/parser/token_stream.cc b/downward/search/parser/token_stream.cc
similarity index 100%
rename from src/search/parser/token_stream.cc
rename to downward/search/parser/token_stream.cc
diff --git a/src/search/parser/token_stream.h b/downward/search/parser/token_stream.h
similarity index 100%
rename from src/search/parser/token_stream.h
rename to downward/search/parser/token_stream.h
diff --git a/src/search/pdbs/abstract_operator.cc b/downward/search/pdbs/abstract_operator.cc
similarity index 100%
rename from src/search/pdbs/abstract_operator.cc
rename to downward/search/pdbs/abstract_operator.cc
diff --git a/src/search/pdbs/abstract_operator.h b/downward/search/pdbs/abstract_operator.h
similarity index 100%
rename from src/search/pdbs/abstract_operator.h
rename to downward/search/pdbs/abstract_operator.h
diff --git a/src/search/pdbs/canonical_pdbs.cc b/downward/search/pdbs/canonical_pdbs.cc
similarity index 100%
rename from src/search/pdbs/canonical_pdbs.cc
rename to downward/search/pdbs/canonical_pdbs.cc
diff --git a/src/search/pdbs/canonical_pdbs.h b/downward/search/pdbs/canonical_pdbs.h
similarity index 100%
rename from src/search/pdbs/canonical_pdbs.h
rename to downward/search/pdbs/canonical_pdbs.h
diff --git a/src/search/pdbs/canonical_pdbs_heuristic.cc b/downward/search/pdbs/canonical_pdbs_heuristic.cc
similarity index 100%
rename from src/search/pdbs/canonical_pdbs_heuristic.cc
rename to downward/search/pdbs/canonical_pdbs_heuristic.cc
diff --git a/src/search/pdbs/canonical_pdbs_heuristic.h b/downward/search/pdbs/canonical_pdbs_heuristic.h
similarity index 100%
rename from src/search/pdbs/canonical_pdbs_heuristic.h
rename to downward/search/pdbs/canonical_pdbs_heuristic.h
diff --git a/src/search/pdbs/cegar.cc b/downward/search/pdbs/cegar.cc
similarity index 100%
rename from src/search/pdbs/cegar.cc
rename to downward/search/pdbs/cegar.cc
diff --git a/src/search/pdbs/cegar.h b/downward/search/pdbs/cegar.h
similarity index 100%
rename from src/search/pdbs/cegar.h
rename to downward/search/pdbs/cegar.h
diff --git a/src/search/pdbs/dominance_pruning.cc b/downward/search/pdbs/dominance_pruning.cc
similarity index 100%
rename from src/search/pdbs/dominance_pruning.cc
rename to downward/search/pdbs/dominance_pruning.cc
diff --git a/src/search/pdbs/dominance_pruning.h b/downward/search/pdbs/dominance_pruning.h
similarity index 100%
rename from src/search/pdbs/dominance_pruning.h
rename to downward/search/pdbs/dominance_pruning.h
diff --git a/src/search/pdbs/incremental_canonical_pdbs.cc b/downward/search/pdbs/incremental_canonical_pdbs.cc
similarity index 100%
rename from src/search/pdbs/incremental_canonical_pdbs.cc
rename to downward/search/pdbs/incremental_canonical_pdbs.cc
diff --git a/src/search/pdbs/incremental_canonical_pdbs.h b/downward/search/pdbs/incremental_canonical_pdbs.h
similarity index 100%
rename from src/search/pdbs/incremental_canonical_pdbs.h
rename to downward/search/pdbs/incremental_canonical_pdbs.h
diff --git a/src/search/pdbs/match_tree.cc b/downward/search/pdbs/match_tree.cc
similarity index 100%
rename from src/search/pdbs/match_tree.cc
rename to downward/search/pdbs/match_tree.cc
diff --git a/src/search/pdbs/match_tree.h b/downward/search/pdbs/match_tree.h
similarity index 100%
rename from src/search/pdbs/match_tree.h
rename to downward/search/pdbs/match_tree.h
diff --git a/src/search/pdbs/pattern_cliques.cc b/downward/search/pdbs/pattern_cliques.cc
similarity index 100%
rename from src/search/pdbs/pattern_cliques.cc
rename to downward/search/pdbs/pattern_cliques.cc
diff --git a/src/search/pdbs/pattern_cliques.h b/downward/search/pdbs/pattern_cliques.h
similarity index 100%
rename from src/search/pdbs/pattern_cliques.h
rename to downward/search/pdbs/pattern_cliques.h
diff --git a/src/search/pdbs/pattern_collection_generator_disjoint_cegar.cc b/downward/search/pdbs/pattern_collection_generator_disjoint_cegar.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_disjoint_cegar.cc
rename to downward/search/pdbs/pattern_collection_generator_disjoint_cegar.cc
diff --git a/src/search/pdbs/pattern_collection_generator_disjoint_cegar.h b/downward/search/pdbs/pattern_collection_generator_disjoint_cegar.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_disjoint_cegar.h
rename to downward/search/pdbs/pattern_collection_generator_disjoint_cegar.h
diff --git a/src/search/pdbs/pattern_collection_generator_genetic.cc b/downward/search/pdbs/pattern_collection_generator_genetic.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_genetic.cc
rename to downward/search/pdbs/pattern_collection_generator_genetic.cc
diff --git a/src/search/pdbs/pattern_collection_generator_genetic.h b/downward/search/pdbs/pattern_collection_generator_genetic.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_genetic.h
rename to downward/search/pdbs/pattern_collection_generator_genetic.h
diff --git a/src/search/pdbs/pattern_collection_generator_hillclimbing.cc b/downward/search/pdbs/pattern_collection_generator_hillclimbing.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_hillclimbing.cc
rename to downward/search/pdbs/pattern_collection_generator_hillclimbing.cc
diff --git a/src/search/pdbs/pattern_collection_generator_hillclimbing.h b/downward/search/pdbs/pattern_collection_generator_hillclimbing.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_hillclimbing.h
rename to downward/search/pdbs/pattern_collection_generator_hillclimbing.h
diff --git a/src/search/pdbs/pattern_collection_generator_manual.cc b/downward/search/pdbs/pattern_collection_generator_manual.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_manual.cc
rename to downward/search/pdbs/pattern_collection_generator_manual.cc
diff --git a/src/search/pdbs/pattern_collection_generator_manual.h b/downward/search/pdbs/pattern_collection_generator_manual.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_manual.h
rename to downward/search/pdbs/pattern_collection_generator_manual.h
diff --git a/src/search/pdbs/pattern_collection_generator_multiple.cc b/downward/search/pdbs/pattern_collection_generator_multiple.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_multiple.cc
rename to downward/search/pdbs/pattern_collection_generator_multiple.cc
diff --git a/src/search/pdbs/pattern_collection_generator_multiple.h b/downward/search/pdbs/pattern_collection_generator_multiple.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_multiple.h
rename to downward/search/pdbs/pattern_collection_generator_multiple.h
diff --git a/src/search/pdbs/pattern_collection_generator_multiple_cegar.cc b/downward/search/pdbs/pattern_collection_generator_multiple_cegar.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_multiple_cegar.cc
rename to downward/search/pdbs/pattern_collection_generator_multiple_cegar.cc
diff --git a/src/search/pdbs/pattern_collection_generator_multiple_cegar.h b/downward/search/pdbs/pattern_collection_generator_multiple_cegar.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_multiple_cegar.h
rename to downward/search/pdbs/pattern_collection_generator_multiple_cegar.h
diff --git a/src/search/pdbs/pattern_collection_generator_multiple_random.cc b/downward/search/pdbs/pattern_collection_generator_multiple_random.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_multiple_random.cc
rename to downward/search/pdbs/pattern_collection_generator_multiple_random.cc
diff --git a/src/search/pdbs/pattern_collection_generator_multiple_random.h b/downward/search/pdbs/pattern_collection_generator_multiple_random.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_multiple_random.h
rename to downward/search/pdbs/pattern_collection_generator_multiple_random.h
diff --git a/src/search/pdbs/pattern_collection_generator_systematic.cc b/downward/search/pdbs/pattern_collection_generator_systematic.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_systematic.cc
rename to downward/search/pdbs/pattern_collection_generator_systematic.cc
diff --git a/src/search/pdbs/pattern_collection_generator_systematic.h b/downward/search/pdbs/pattern_collection_generator_systematic.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_generator_systematic.h
rename to downward/search/pdbs/pattern_collection_generator_systematic.h
diff --git a/src/search/pdbs/pattern_collection_information.cc b/downward/search/pdbs/pattern_collection_information.cc
similarity index 100%
rename from src/search/pdbs/pattern_collection_information.cc
rename to downward/search/pdbs/pattern_collection_information.cc
diff --git a/src/search/pdbs/pattern_collection_information.h b/downward/search/pdbs/pattern_collection_information.h
similarity index 100%
rename from src/search/pdbs/pattern_collection_information.h
rename to downward/search/pdbs/pattern_collection_information.h
diff --git a/src/search/pdbs/pattern_database.cc b/downward/search/pdbs/pattern_database.cc
similarity index 100%
rename from src/search/pdbs/pattern_database.cc
rename to downward/search/pdbs/pattern_database.cc
diff --git a/src/search/pdbs/pattern_database.h b/downward/search/pdbs/pattern_database.h
similarity index 100%
rename from src/search/pdbs/pattern_database.h
rename to downward/search/pdbs/pattern_database.h
diff --git a/src/search/pdbs/pattern_database_factory.cc b/downward/search/pdbs/pattern_database_factory.cc
similarity index 100%
rename from src/search/pdbs/pattern_database_factory.cc
rename to downward/search/pdbs/pattern_database_factory.cc
diff --git a/src/search/pdbs/pattern_database_factory.h b/downward/search/pdbs/pattern_database_factory.h
similarity index 100%
rename from src/search/pdbs/pattern_database_factory.h
rename to downward/search/pdbs/pattern_database_factory.h
diff --git a/src/search/pdbs/pattern_generator.cc b/downward/search/pdbs/pattern_generator.cc
similarity index 100%
rename from src/search/pdbs/pattern_generator.cc
rename to downward/search/pdbs/pattern_generator.cc
diff --git a/src/search/pdbs/pattern_generator.h b/downward/search/pdbs/pattern_generator.h
similarity index 100%
rename from src/search/pdbs/pattern_generator.h
rename to downward/search/pdbs/pattern_generator.h
diff --git a/src/search/pdbs/pattern_generator_cegar.cc b/downward/search/pdbs/pattern_generator_cegar.cc
similarity index 100%
rename from src/search/pdbs/pattern_generator_cegar.cc
rename to downward/search/pdbs/pattern_generator_cegar.cc
diff --git a/src/search/pdbs/pattern_generator_cegar.h b/downward/search/pdbs/pattern_generator_cegar.h
similarity index 100%
rename from src/search/pdbs/pattern_generator_cegar.h
rename to downward/search/pdbs/pattern_generator_cegar.h
diff --git a/src/search/pdbs/pattern_generator_greedy.cc b/downward/search/pdbs/pattern_generator_greedy.cc
similarity index 100%
rename from src/search/pdbs/pattern_generator_greedy.cc
rename to downward/search/pdbs/pattern_generator_greedy.cc
diff --git a/src/search/pdbs/pattern_generator_greedy.h b/downward/search/pdbs/pattern_generator_greedy.h
similarity index 100%
rename from src/search/pdbs/pattern_generator_greedy.h
rename to downward/search/pdbs/pattern_generator_greedy.h
diff --git a/src/search/pdbs/pattern_generator_manual.cc b/downward/search/pdbs/pattern_generator_manual.cc
similarity index 100%
rename from src/search/pdbs/pattern_generator_manual.cc
rename to downward/search/pdbs/pattern_generator_manual.cc
diff --git a/src/search/pdbs/pattern_generator_manual.h b/downward/search/pdbs/pattern_generator_manual.h
similarity index 100%
rename from src/search/pdbs/pattern_generator_manual.h
rename to downward/search/pdbs/pattern_generator_manual.h
diff --git a/src/search/pdbs/pattern_generator_random.cc b/downward/search/pdbs/pattern_generator_random.cc
similarity index 100%
rename from src/search/pdbs/pattern_generator_random.cc
rename to downward/search/pdbs/pattern_generator_random.cc
diff --git a/src/search/pdbs/pattern_generator_random.h b/downward/search/pdbs/pattern_generator_random.h
similarity index 100%
rename from src/search/pdbs/pattern_generator_random.h
rename to downward/search/pdbs/pattern_generator_random.h
diff --git a/src/search/pdbs/pattern_information.cc b/downward/search/pdbs/pattern_information.cc
similarity index 100%
rename from src/search/pdbs/pattern_information.cc
rename to downward/search/pdbs/pattern_information.cc
diff --git a/src/search/pdbs/pattern_information.h b/downward/search/pdbs/pattern_information.h
similarity index 100%
rename from src/search/pdbs/pattern_information.h
rename to downward/search/pdbs/pattern_information.h
diff --git a/src/search/pdbs/pdb_heuristic.cc b/downward/search/pdbs/pdb_heuristic.cc
similarity index 100%
rename from src/search/pdbs/pdb_heuristic.cc
rename to downward/search/pdbs/pdb_heuristic.cc
diff --git a/src/search/pdbs/pdb_heuristic.h b/downward/search/pdbs/pdb_heuristic.h
similarity index 100%
rename from src/search/pdbs/pdb_heuristic.h
rename to downward/search/pdbs/pdb_heuristic.h
diff --git a/src/search/pdbs/random_pattern.cc b/downward/search/pdbs/random_pattern.cc
similarity index 100%
rename from src/search/pdbs/random_pattern.cc
rename to downward/search/pdbs/random_pattern.cc
diff --git a/src/search/pdbs/random_pattern.h b/downward/search/pdbs/random_pattern.h
similarity index 100%
rename from src/search/pdbs/random_pattern.h
rename to downward/search/pdbs/random_pattern.h
diff --git a/src/search/pdbs/subcategory.cc b/downward/search/pdbs/subcategory.cc
similarity index 100%
rename from src/search/pdbs/subcategory.cc
rename to downward/search/pdbs/subcategory.cc
diff --git a/src/search/pdbs/types.h b/downward/search/pdbs/types.h
similarity index 100%
rename from src/search/pdbs/types.h
rename to downward/search/pdbs/types.h
diff --git a/src/search/pdbs/utils.cc b/downward/search/pdbs/utils.cc
similarity index 100%
rename from src/search/pdbs/utils.cc
rename to downward/search/pdbs/utils.cc
diff --git a/src/search/pdbs/utils.h b/downward/search/pdbs/utils.h
similarity index 100%
rename from src/search/pdbs/utils.h
rename to downward/search/pdbs/utils.h
diff --git a/src/search/pdbs/validation.cc b/downward/search/pdbs/validation.cc
similarity index 100%
rename from src/search/pdbs/validation.cc
rename to downward/search/pdbs/validation.cc
diff --git a/src/search/pdbs/validation.h b/downward/search/pdbs/validation.h
similarity index 100%
rename from src/search/pdbs/validation.h
rename to downward/search/pdbs/validation.h
diff --git a/src/search/pdbs/zero_one_pdbs.cc b/downward/search/pdbs/zero_one_pdbs.cc
similarity index 100%
rename from src/search/pdbs/zero_one_pdbs.cc
rename to downward/search/pdbs/zero_one_pdbs.cc
diff --git a/src/search/pdbs/zero_one_pdbs.h b/downward/search/pdbs/zero_one_pdbs.h
similarity index 100%
rename from src/search/pdbs/zero_one_pdbs.h
rename to downward/search/pdbs/zero_one_pdbs.h
diff --git a/src/search/pdbs/zero_one_pdbs_heuristic.cc b/downward/search/pdbs/zero_one_pdbs_heuristic.cc
similarity index 100%
rename from src/search/pdbs/zero_one_pdbs_heuristic.cc
rename to downward/search/pdbs/zero_one_pdbs_heuristic.cc
diff --git a/src/search/pdbs/zero_one_pdbs_heuristic.h b/downward/search/pdbs/zero_one_pdbs_heuristic.h
similarity index 100%
rename from src/search/pdbs/zero_one_pdbs_heuristic.h
rename to downward/search/pdbs/zero_one_pdbs_heuristic.h
diff --git a/src/search/per_state_array.h b/downward/search/per_state_array.h
similarity index 100%
rename from src/search/per_state_array.h
rename to downward/search/per_state_array.h
diff --git a/src/search/per_state_bitset.cc b/downward/search/per_state_bitset.cc
similarity index 100%
rename from src/search/per_state_bitset.cc
rename to downward/search/per_state_bitset.cc
diff --git a/src/search/per_state_bitset.h b/downward/search/per_state_bitset.h
similarity index 100%
rename from src/search/per_state_bitset.h
rename to downward/search/per_state_bitset.h
diff --git a/src/search/per_state_information.h b/downward/search/per_state_information.h
similarity index 100%
rename from src/search/per_state_information.h
rename to downward/search/per_state_information.h
diff --git a/src/search/per_task_information.h b/downward/search/per_task_information.h
similarity index 100%
rename from src/search/per_task_information.h
rename to downward/search/per_task_information.h
diff --git a/src/search/plan_manager.cc b/downward/search/plan_manager.cc
similarity index 100%
rename from src/search/plan_manager.cc
rename to downward/search/plan_manager.cc
diff --git a/src/search/plan_manager.h b/downward/search/plan_manager.h
similarity index 100%
rename from src/search/plan_manager.h
rename to downward/search/plan_manager.h
diff --git a/src/search/planner.cc b/downward/search/planner.cc
similarity index 100%
rename from src/search/planner.cc
rename to downward/search/planner.cc
diff --git a/src/search/plugins/any.h b/downward/search/plugins/any.h
similarity index 100%
rename from src/search/plugins/any.h
rename to downward/search/plugins/any.h
diff --git a/src/search/plugins/bounds.cc b/downward/search/plugins/bounds.cc
similarity index 100%
rename from src/search/plugins/bounds.cc
rename to downward/search/plugins/bounds.cc
diff --git a/src/search/plugins/bounds.h b/downward/search/plugins/bounds.h
similarity index 100%
rename from src/search/plugins/bounds.h
rename to downward/search/plugins/bounds.h
diff --git a/src/search/plugins/doc_printer.cc b/downward/search/plugins/doc_printer.cc
similarity index 100%
rename from src/search/plugins/doc_printer.cc
rename to downward/search/plugins/doc_printer.cc
diff --git a/src/search/plugins/doc_printer.h b/downward/search/plugins/doc_printer.h
similarity index 100%
rename from src/search/plugins/doc_printer.h
rename to downward/search/plugins/doc_printer.h
diff --git a/src/search/plugins/options.cc b/downward/search/plugins/options.cc
similarity index 100%
rename from src/search/plugins/options.cc
rename to downward/search/plugins/options.cc
diff --git a/src/search/plugins/options.h b/downward/search/plugins/options.h
similarity index 100%
rename from src/search/plugins/options.h
rename to downward/search/plugins/options.h
diff --git a/src/search/plugins/plugin.cc b/downward/search/plugins/plugin.cc
similarity index 100%
rename from src/search/plugins/plugin.cc
rename to downward/search/plugins/plugin.cc
diff --git a/src/search/plugins/plugin.h b/downward/search/plugins/plugin.h
similarity index 100%
rename from src/search/plugins/plugin.h
rename to downward/search/plugins/plugin.h
diff --git a/src/search/plugins/plugin_info.cc b/downward/search/plugins/plugin_info.cc
similarity index 100%
rename from src/search/plugins/plugin_info.cc
rename to downward/search/plugins/plugin_info.cc
diff --git a/src/search/plugins/plugin_info.h b/downward/search/plugins/plugin_info.h
similarity index 100%
rename from src/search/plugins/plugin_info.h
rename to downward/search/plugins/plugin_info.h
diff --git a/src/search/plugins/raw_registry.cc b/downward/search/plugins/raw_registry.cc
similarity index 100%
rename from src/search/plugins/raw_registry.cc
rename to downward/search/plugins/raw_registry.cc
diff --git a/src/search/plugins/raw_registry.h b/downward/search/plugins/raw_registry.h
similarity index 100%
rename from src/search/plugins/raw_registry.h
rename to downward/search/plugins/raw_registry.h
diff --git a/src/search/plugins/registry.cc b/downward/search/plugins/registry.cc
similarity index 100%
rename from src/search/plugins/registry.cc
rename to downward/search/plugins/registry.cc
diff --git a/src/search/plugins/registry.h b/downward/search/plugins/registry.h
similarity index 100%
rename from src/search/plugins/registry.h
rename to downward/search/plugins/registry.h
diff --git a/src/search/plugins/registry_types.h b/downward/search/plugins/registry_types.h
similarity index 100%
rename from src/search/plugins/registry_types.h
rename to downward/search/plugins/registry_types.h
diff --git a/src/search/plugins/types.cc b/downward/search/plugins/types.cc
similarity index 100%
rename from src/search/plugins/types.cc
rename to downward/search/plugins/types.cc
diff --git a/src/search/plugins/types.h b/downward/search/plugins/types.h
similarity index 100%
rename from src/search/plugins/types.h
rename to downward/search/plugins/types.h
diff --git a/src/search/potentials/diverse_potential_heuristics.cc b/downward/search/potentials/diverse_potential_heuristics.cc
similarity index 100%
rename from src/search/potentials/diverse_potential_heuristics.cc
rename to downward/search/potentials/diverse_potential_heuristics.cc
diff --git a/src/search/potentials/diverse_potential_heuristics.h b/downward/search/potentials/diverse_potential_heuristics.h
similarity index 100%
rename from src/search/potentials/diverse_potential_heuristics.h
rename to downward/search/potentials/diverse_potential_heuristics.h
diff --git a/src/search/potentials/potential_function.cc b/downward/search/potentials/potential_function.cc
similarity index 100%
rename from src/search/potentials/potential_function.cc
rename to downward/search/potentials/potential_function.cc
diff --git a/src/search/potentials/potential_function.h b/downward/search/potentials/potential_function.h
similarity index 100%
rename from src/search/potentials/potential_function.h
rename to downward/search/potentials/potential_function.h
diff --git a/src/search/potentials/potential_heuristic.cc b/downward/search/potentials/potential_heuristic.cc
similarity index 100%
rename from src/search/potentials/potential_heuristic.cc
rename to downward/search/potentials/potential_heuristic.cc
diff --git a/src/search/potentials/potential_heuristic.h b/downward/search/potentials/potential_heuristic.h
similarity index 100%
rename from src/search/potentials/potential_heuristic.h
rename to downward/search/potentials/potential_heuristic.h
diff --git a/src/search/potentials/potential_max_heuristic.cc b/downward/search/potentials/potential_max_heuristic.cc
similarity index 100%
rename from src/search/potentials/potential_max_heuristic.cc
rename to downward/search/potentials/potential_max_heuristic.cc
diff --git a/src/search/potentials/potential_max_heuristic.h b/downward/search/potentials/potential_max_heuristic.h
similarity index 100%
rename from src/search/potentials/potential_max_heuristic.h
rename to downward/search/potentials/potential_max_heuristic.h
diff --git a/src/search/potentials/potential_optimizer.cc b/downward/search/potentials/potential_optimizer.cc
similarity index 100%
rename from src/search/potentials/potential_optimizer.cc
rename to downward/search/potentials/potential_optimizer.cc
diff --git a/src/search/potentials/potential_optimizer.h b/downward/search/potentials/potential_optimizer.h
similarity index 100%
rename from src/search/potentials/potential_optimizer.h
rename to downward/search/potentials/potential_optimizer.h
diff --git a/src/search/potentials/sample_based_potential_heuristics.cc b/downward/search/potentials/sample_based_potential_heuristics.cc
similarity index 100%
rename from src/search/potentials/sample_based_potential_heuristics.cc
rename to downward/search/potentials/sample_based_potential_heuristics.cc
diff --git a/src/search/potentials/single_potential_heuristics.cc b/downward/search/potentials/single_potential_heuristics.cc
similarity index 100%
rename from src/search/potentials/single_potential_heuristics.cc
rename to downward/search/potentials/single_potential_heuristics.cc
diff --git a/src/search/potentials/subcategory.cc b/downward/search/potentials/subcategory.cc
similarity index 100%
rename from src/search/potentials/subcategory.cc
rename to downward/search/potentials/subcategory.cc
diff --git a/src/search/potentials/util.cc b/downward/search/potentials/util.cc
similarity index 100%
rename from src/search/potentials/util.cc
rename to downward/search/potentials/util.cc
diff --git a/src/search/potentials/util.h b/downward/search/potentials/util.h
similarity index 100%
rename from src/search/potentials/util.h
rename to downward/search/potentials/util.h
diff --git a/src/search/pruning/limited_pruning.cc b/downward/search/pruning/limited_pruning.cc
similarity index 100%
rename from src/search/pruning/limited_pruning.cc
rename to downward/search/pruning/limited_pruning.cc
diff --git a/src/search/pruning/limited_pruning.h b/downward/search/pruning/limited_pruning.h
similarity index 100%
rename from src/search/pruning/limited_pruning.h
rename to downward/search/pruning/limited_pruning.h
diff --git a/src/search/pruning/null_pruning_method.cc b/downward/search/pruning/null_pruning_method.cc
similarity index 100%
rename from src/search/pruning/null_pruning_method.cc
rename to downward/search/pruning/null_pruning_method.cc
diff --git a/src/search/pruning/null_pruning_method.h b/downward/search/pruning/null_pruning_method.h
similarity index 100%
rename from src/search/pruning/null_pruning_method.h
rename to downward/search/pruning/null_pruning_method.h
diff --git a/src/search/pruning/stubborn_sets.cc b/downward/search/pruning/stubborn_sets.cc
similarity index 100%
rename from src/search/pruning/stubborn_sets.cc
rename to downward/search/pruning/stubborn_sets.cc
diff --git a/src/search/pruning/stubborn_sets.h b/downward/search/pruning/stubborn_sets.h
similarity index 100%
rename from src/search/pruning/stubborn_sets.h
rename to downward/search/pruning/stubborn_sets.h
diff --git a/src/search/pruning/stubborn_sets_action_centric.cc b/downward/search/pruning/stubborn_sets_action_centric.cc
similarity index 100%
rename from src/search/pruning/stubborn_sets_action_centric.cc
rename to downward/search/pruning/stubborn_sets_action_centric.cc
diff --git a/src/search/pruning/stubborn_sets_action_centric.h b/downward/search/pruning/stubborn_sets_action_centric.h
similarity index 100%
rename from src/search/pruning/stubborn_sets_action_centric.h
rename to downward/search/pruning/stubborn_sets_action_centric.h
diff --git a/src/search/pruning/stubborn_sets_atom_centric.cc b/downward/search/pruning/stubborn_sets_atom_centric.cc
similarity index 100%
rename from src/search/pruning/stubborn_sets_atom_centric.cc
rename to downward/search/pruning/stubborn_sets_atom_centric.cc
diff --git a/src/search/pruning/stubborn_sets_atom_centric.h b/downward/search/pruning/stubborn_sets_atom_centric.h
similarity index 100%
rename from src/search/pruning/stubborn_sets_atom_centric.h
rename to downward/search/pruning/stubborn_sets_atom_centric.h
diff --git a/src/search/pruning/stubborn_sets_ec.cc b/downward/search/pruning/stubborn_sets_ec.cc
similarity index 100%
rename from src/search/pruning/stubborn_sets_ec.cc
rename to downward/search/pruning/stubborn_sets_ec.cc
diff --git a/src/search/pruning/stubborn_sets_ec.h b/downward/search/pruning/stubborn_sets_ec.h
similarity index 100%
rename from src/search/pruning/stubborn_sets_ec.h
rename to downward/search/pruning/stubborn_sets_ec.h
diff --git a/src/search/pruning/stubborn_sets_simple.cc b/downward/search/pruning/stubborn_sets_simple.cc
similarity index 100%
rename from src/search/pruning/stubborn_sets_simple.cc
rename to downward/search/pruning/stubborn_sets_simple.cc
diff --git a/src/search/pruning/stubborn_sets_simple.h b/downward/search/pruning/stubborn_sets_simple.h
similarity index 100%
rename from src/search/pruning/stubborn_sets_simple.h
rename to downward/search/pruning/stubborn_sets_simple.h
diff --git a/src/search/pruning_method.cc b/downward/search/pruning_method.cc
similarity index 100%
rename from src/search/pruning_method.cc
rename to downward/search/pruning_method.cc
diff --git a/src/search/pruning_method.h b/downward/search/pruning_method.h
similarity index 100%
rename from src/search/pruning_method.h
rename to downward/search/pruning_method.h
diff --git a/src/search/search_algorithm.cc b/downward/search/search_algorithm.cc
similarity index 100%
rename from src/search/search_algorithm.cc
rename to downward/search/search_algorithm.cc
diff --git a/src/search/search_algorithm.h b/downward/search/search_algorithm.h
similarity index 100%
rename from src/search/search_algorithm.h
rename to downward/search/search_algorithm.h
diff --git a/src/search/search_algorithms/eager_search.cc b/downward/search/search_algorithms/eager_search.cc
similarity index 100%
rename from src/search/search_algorithms/eager_search.cc
rename to downward/search/search_algorithms/eager_search.cc
diff --git a/src/search/search_algorithms/eager_search.h b/downward/search/search_algorithms/eager_search.h
similarity index 100%
rename from src/search/search_algorithms/eager_search.h
rename to downward/search/search_algorithms/eager_search.h
diff --git a/src/search/search_algorithms/enforced_hill_climbing_search.cc b/downward/search/search_algorithms/enforced_hill_climbing_search.cc
similarity index 100%
rename from src/search/search_algorithms/enforced_hill_climbing_search.cc
rename to downward/search/search_algorithms/enforced_hill_climbing_search.cc
diff --git a/src/search/search_algorithms/enforced_hill_climbing_search.h b/downward/search/search_algorithms/enforced_hill_climbing_search.h
similarity index 100%
rename from src/search/search_algorithms/enforced_hill_climbing_search.h
rename to downward/search/search_algorithms/enforced_hill_climbing_search.h
diff --git a/src/search/search_algorithms/iterated_search.cc b/downward/search/search_algorithms/iterated_search.cc
similarity index 100%
rename from src/search/search_algorithms/iterated_search.cc
rename to downward/search/search_algorithms/iterated_search.cc
diff --git a/src/search/search_algorithms/iterated_search.h b/downward/search/search_algorithms/iterated_search.h
similarity index 100%
rename from src/search/search_algorithms/iterated_search.h
rename to downward/search/search_algorithms/iterated_search.h
diff --git a/src/search/search_algorithms/lazy_search.cc b/downward/search/search_algorithms/lazy_search.cc
similarity index 100%
rename from src/search/search_algorithms/lazy_search.cc
rename to downward/search/search_algorithms/lazy_search.cc
diff --git a/src/search/search_algorithms/lazy_search.h b/downward/search/search_algorithms/lazy_search.h
similarity index 100%
rename from src/search/search_algorithms/lazy_search.h
rename to downward/search/search_algorithms/lazy_search.h
diff --git a/src/search/search_algorithms/plugin_astar.cc b/downward/search/search_algorithms/plugin_astar.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_astar.cc
rename to downward/search/search_algorithms/plugin_astar.cc
diff --git a/src/search/search_algorithms/plugin_eager.cc b/downward/search/search_algorithms/plugin_eager.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_eager.cc
rename to downward/search/search_algorithms/plugin_eager.cc
diff --git a/src/search/search_algorithms/plugin_eager_greedy.cc b/downward/search/search_algorithms/plugin_eager_greedy.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_eager_greedy.cc
rename to downward/search/search_algorithms/plugin_eager_greedy.cc
diff --git a/src/search/search_algorithms/plugin_eager_wastar.cc b/downward/search/search_algorithms/plugin_eager_wastar.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_eager_wastar.cc
rename to downward/search/search_algorithms/plugin_eager_wastar.cc
diff --git a/src/search/search_algorithms/plugin_lazy.cc b/downward/search/search_algorithms/plugin_lazy.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_lazy.cc
rename to downward/search/search_algorithms/plugin_lazy.cc
diff --git a/src/search/search_algorithms/plugin_lazy_greedy.cc b/downward/search/search_algorithms/plugin_lazy_greedy.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_lazy_greedy.cc
rename to downward/search/search_algorithms/plugin_lazy_greedy.cc
diff --git a/src/search/search_algorithms/plugin_lazy_wastar.cc b/downward/search/search_algorithms/plugin_lazy_wastar.cc
similarity index 100%
rename from src/search/search_algorithms/plugin_lazy_wastar.cc
rename to downward/search/search_algorithms/plugin_lazy_wastar.cc
diff --git a/src/search/search_algorithms/search_common.cc b/downward/search/search_algorithms/search_common.cc
similarity index 100%
rename from src/search/search_algorithms/search_common.cc
rename to downward/search/search_algorithms/search_common.cc
diff --git a/src/search/search_algorithms/search_common.h b/downward/search/search_algorithms/search_common.h
similarity index 100%
rename from src/search/search_algorithms/search_common.h
rename to downward/search/search_algorithms/search_common.h
diff --git a/src/search/search_node_info.cc b/downward/search/search_node_info.cc
similarity index 100%
rename from src/search/search_node_info.cc
rename to downward/search/search_node_info.cc
diff --git a/src/search/search_node_info.h b/downward/search/search_node_info.h
similarity index 100%
rename from src/search/search_node_info.h
rename to downward/search/search_node_info.h
diff --git a/src/search/search_progress.cc b/downward/search/search_progress.cc
similarity index 100%
rename from src/search/search_progress.cc
rename to downward/search/search_progress.cc
diff --git a/src/search/search_progress.h b/downward/search/search_progress.h
similarity index 100%
rename from src/search/search_progress.h
rename to downward/search/search_progress.h
diff --git a/src/search/search_space.cc b/downward/search/search_space.cc
similarity index 100%
rename from src/search/search_space.cc
rename to downward/search/search_space.cc
diff --git a/src/search/search_space.h b/downward/search/search_space.h
similarity index 100%
rename from src/search/search_space.h
rename to downward/search/search_space.h
diff --git a/src/search/search_statistics.cc b/downward/search/search_statistics.cc
similarity index 100%
rename from src/search/search_statistics.cc
rename to downward/search/search_statistics.cc
diff --git a/src/search/search_statistics.h b/downward/search/search_statistics.h
similarity index 100%
rename from src/search/search_statistics.h
rename to downward/search/search_statistics.h
diff --git a/src/search/state_id.cc b/downward/search/state_id.cc
similarity index 100%
rename from src/search/state_id.cc
rename to downward/search/state_id.cc
diff --git a/src/search/state_id.h b/downward/search/state_id.h
similarity index 100%
rename from src/search/state_id.h
rename to downward/search/state_id.h
diff --git a/src/search/state_registry.cc b/downward/search/state_registry.cc
similarity index 100%
rename from src/search/state_registry.cc
rename to downward/search/state_registry.cc
diff --git a/src/search/state_registry.h b/downward/search/state_registry.h
similarity index 100%
rename from src/search/state_registry.h
rename to downward/search/state_registry.h
diff --git a/src/search/task_id.h b/downward/search/task_id.h
similarity index 100%
rename from src/search/task_id.h
rename to downward/search/task_id.h
diff --git a/src/search/task_proxy.cc b/downward/search/task_proxy.cc
similarity index 100%
rename from src/search/task_proxy.cc
rename to downward/search/task_proxy.cc
diff --git a/src/search/task_proxy.h b/downward/search/task_proxy.h
similarity index 100%
rename from src/search/task_proxy.h
rename to downward/search/task_proxy.h
diff --git a/src/search/task_utils/causal_graph.cc b/downward/search/task_utils/causal_graph.cc
similarity index 100%
rename from src/search/task_utils/causal_graph.cc
rename to downward/search/task_utils/causal_graph.cc
diff --git a/src/search/task_utils/causal_graph.h b/downward/search/task_utils/causal_graph.h
similarity index 100%
rename from src/search/task_utils/causal_graph.h
rename to downward/search/task_utils/causal_graph.h
diff --git a/src/search/task_utils/sampling.cc b/downward/search/task_utils/sampling.cc
similarity index 100%
rename from src/search/task_utils/sampling.cc
rename to downward/search/task_utils/sampling.cc
diff --git a/src/search/task_utils/sampling.h b/downward/search/task_utils/sampling.h
similarity index 100%
rename from src/search/task_utils/sampling.h
rename to downward/search/task_utils/sampling.h
diff --git a/src/search/task_utils/successor_generator.cc b/downward/search/task_utils/successor_generator.cc
similarity index 100%
rename from src/search/task_utils/successor_generator.cc
rename to downward/search/task_utils/successor_generator.cc
diff --git a/src/search/task_utils/successor_generator.h b/downward/search/task_utils/successor_generator.h
similarity index 100%
rename from src/search/task_utils/successor_generator.h
rename to downward/search/task_utils/successor_generator.h
diff --git a/src/search/task_utils/successor_generator_factory.cc b/downward/search/task_utils/successor_generator_factory.cc
similarity index 100%
rename from src/search/task_utils/successor_generator_factory.cc
rename to downward/search/task_utils/successor_generator_factory.cc
diff --git a/src/search/task_utils/successor_generator_factory.h b/downward/search/task_utils/successor_generator_factory.h
similarity index 100%
rename from src/search/task_utils/successor_generator_factory.h
rename to downward/search/task_utils/successor_generator_factory.h
diff --git a/src/search/task_utils/successor_generator_internals.cc b/downward/search/task_utils/successor_generator_internals.cc
similarity index 100%
rename from src/search/task_utils/successor_generator_internals.cc
rename to downward/search/task_utils/successor_generator_internals.cc
diff --git a/src/search/task_utils/successor_generator_internals.h b/downward/search/task_utils/successor_generator_internals.h
similarity index 100%
rename from src/search/task_utils/successor_generator_internals.h
rename to downward/search/task_utils/successor_generator_internals.h
diff --git a/src/search/task_utils/task_properties.cc b/downward/search/task_utils/task_properties.cc
similarity index 100%
rename from src/search/task_utils/task_properties.cc
rename to downward/search/task_utils/task_properties.cc
diff --git a/src/search/task_utils/task_properties.h b/downward/search/task_utils/task_properties.h
similarity index 100%
rename from src/search/task_utils/task_properties.h
rename to downward/search/task_utils/task_properties.h
diff --git a/src/search/task_utils/variable_order_finder.cc b/downward/search/task_utils/variable_order_finder.cc
similarity index 100%
rename from src/search/task_utils/variable_order_finder.cc
rename to downward/search/task_utils/variable_order_finder.cc
diff --git a/src/search/task_utils/variable_order_finder.h b/downward/search/task_utils/variable_order_finder.h
similarity index 100%
rename from src/search/task_utils/variable_order_finder.h
rename to downward/search/task_utils/variable_order_finder.h
diff --git a/src/search/tasks/cost_adapted_task.cc b/downward/search/tasks/cost_adapted_task.cc
similarity index 100%
rename from src/search/tasks/cost_adapted_task.cc
rename to downward/search/tasks/cost_adapted_task.cc
diff --git a/src/search/tasks/cost_adapted_task.h b/downward/search/tasks/cost_adapted_task.h
similarity index 100%
rename from src/search/tasks/cost_adapted_task.h
rename to downward/search/tasks/cost_adapted_task.h
diff --git a/src/search/tasks/default_value_axioms_task.cc b/downward/search/tasks/default_value_axioms_task.cc
similarity index 100%
rename from src/search/tasks/default_value_axioms_task.cc
rename to downward/search/tasks/default_value_axioms_task.cc
diff --git a/src/search/tasks/default_value_axioms_task.h b/downward/search/tasks/default_value_axioms_task.h
similarity index 100%
rename from src/search/tasks/default_value_axioms_task.h
rename to downward/search/tasks/default_value_axioms_task.h
diff --git a/src/search/tasks/delegating_task.cc b/downward/search/tasks/delegating_task.cc
similarity index 100%
rename from src/search/tasks/delegating_task.cc
rename to downward/search/tasks/delegating_task.cc
diff --git a/src/search/tasks/delegating_task.h b/downward/search/tasks/delegating_task.h
similarity index 100%
rename from src/search/tasks/delegating_task.h
rename to downward/search/tasks/delegating_task.h
diff --git a/src/search/tasks/domain_abstracted_task.cc b/downward/search/tasks/domain_abstracted_task.cc
similarity index 100%
rename from src/search/tasks/domain_abstracted_task.cc
rename to downward/search/tasks/domain_abstracted_task.cc
diff --git a/src/search/tasks/domain_abstracted_task.h b/downward/search/tasks/domain_abstracted_task.h
similarity index 100%
rename from src/search/tasks/domain_abstracted_task.h
rename to downward/search/tasks/domain_abstracted_task.h
diff --git a/src/search/tasks/domain_abstracted_task_factory.cc b/downward/search/tasks/domain_abstracted_task_factory.cc
similarity index 100%
rename from src/search/tasks/domain_abstracted_task_factory.cc
rename to downward/search/tasks/domain_abstracted_task_factory.cc
diff --git a/src/search/tasks/domain_abstracted_task_factory.h b/downward/search/tasks/domain_abstracted_task_factory.h
similarity index 100%
rename from src/search/tasks/domain_abstracted_task_factory.h
rename to downward/search/tasks/domain_abstracted_task_factory.h
diff --git a/src/search/tasks/modified_goals_task.cc b/downward/search/tasks/modified_goals_task.cc
similarity index 100%
rename from src/search/tasks/modified_goals_task.cc
rename to downward/search/tasks/modified_goals_task.cc
diff --git a/src/search/tasks/modified_goals_task.h b/downward/search/tasks/modified_goals_task.h
similarity index 100%
rename from src/search/tasks/modified_goals_task.h
rename to downward/search/tasks/modified_goals_task.h
diff --git a/src/search/tasks/modified_operator_costs_task.cc b/downward/search/tasks/modified_operator_costs_task.cc
similarity index 100%
rename from src/search/tasks/modified_operator_costs_task.cc
rename to downward/search/tasks/modified_operator_costs_task.cc
diff --git a/src/search/tasks/modified_operator_costs_task.h b/downward/search/tasks/modified_operator_costs_task.h
similarity index 100%
rename from src/search/tasks/modified_operator_costs_task.h
rename to downward/search/tasks/modified_operator_costs_task.h
diff --git a/src/search/tasks/root_task.cc b/downward/search/tasks/root_task.cc
similarity index 100%
rename from src/search/tasks/root_task.cc
rename to downward/search/tasks/root_task.cc
diff --git a/src/search/tasks/root_task.h b/downward/search/tasks/root_task.h
similarity index 100%
rename from src/search/tasks/root_task.h
rename to downward/search/tasks/root_task.h
diff --git a/src/search/utils/collections.h b/downward/search/utils/collections.h
similarity index 100%
rename from src/search/utils/collections.h
rename to downward/search/utils/collections.h
diff --git a/src/search/utils/component_errors.cc b/downward/search/utils/component_errors.cc
similarity index 100%
rename from src/search/utils/component_errors.cc
rename to downward/search/utils/component_errors.cc
diff --git a/src/search/utils/component_errors.h b/downward/search/utils/component_errors.h
similarity index 100%
rename from src/search/utils/component_errors.h
rename to downward/search/utils/component_errors.h
diff --git a/src/search/utils/countdown_timer.cc b/downward/search/utils/countdown_timer.cc
similarity index 100%
rename from src/search/utils/countdown_timer.cc
rename to downward/search/utils/countdown_timer.cc
diff --git a/src/search/utils/countdown_timer.h b/downward/search/utils/countdown_timer.h
similarity index 100%
rename from src/search/utils/countdown_timer.h
rename to downward/search/utils/countdown_timer.h
diff --git a/src/search/utils/exceptions.cc b/downward/search/utils/exceptions.cc
similarity index 100%
rename from src/search/utils/exceptions.cc
rename to downward/search/utils/exceptions.cc
diff --git a/src/search/utils/exceptions.h b/downward/search/utils/exceptions.h
similarity index 100%
rename from src/search/utils/exceptions.h
rename to downward/search/utils/exceptions.h
diff --git a/src/search/utils/hash.h b/downward/search/utils/hash.h
similarity index 100%
rename from src/search/utils/hash.h
rename to downward/search/utils/hash.h
diff --git a/src/search/utils/language.h b/downward/search/utils/language.h
similarity index 100%
rename from src/search/utils/language.h
rename to downward/search/utils/language.h
diff --git a/src/search/utils/logging.cc b/downward/search/utils/logging.cc
similarity index 100%
rename from src/search/utils/logging.cc
rename to downward/search/utils/logging.cc
diff --git a/src/search/utils/logging.h b/downward/search/utils/logging.h
similarity index 100%
rename from src/search/utils/logging.h
rename to downward/search/utils/logging.h
diff --git a/src/search/utils/markup.cc b/downward/search/utils/markup.cc
similarity index 100%
rename from src/search/utils/markup.cc
rename to downward/search/utils/markup.cc
diff --git a/src/search/utils/markup.h b/downward/search/utils/markup.h
similarity index 100%
rename from src/search/utils/markup.h
rename to downward/search/utils/markup.h
diff --git a/src/search/utils/math.cc b/downward/search/utils/math.cc
similarity index 100%
rename from src/search/utils/math.cc
rename to downward/search/utils/math.cc
diff --git a/src/search/utils/math.h b/downward/search/utils/math.h
similarity index 100%
rename from src/search/utils/math.h
rename to downward/search/utils/math.h
diff --git a/src/search/utils/memory.cc b/downward/search/utils/memory.cc
similarity index 100%
rename from src/search/utils/memory.cc
rename to downward/search/utils/memory.cc
diff --git a/src/search/utils/memory.h b/downward/search/utils/memory.h
similarity index 100%
rename from src/search/utils/memory.h
rename to downward/search/utils/memory.h
diff --git a/src/search/utils/rng.cc b/downward/search/utils/rng.cc
similarity index 100%
rename from src/search/utils/rng.cc
rename to downward/search/utils/rng.cc
diff --git a/src/search/utils/rng.h b/downward/search/utils/rng.h
similarity index 100%
rename from src/search/utils/rng.h
rename to downward/search/utils/rng.h
diff --git a/src/search/utils/rng_options.cc b/downward/search/utils/rng_options.cc
similarity index 100%
rename from src/search/utils/rng_options.cc
rename to downward/search/utils/rng_options.cc
diff --git a/src/search/utils/rng_options.h b/downward/search/utils/rng_options.h
similarity index 100%
rename from src/search/utils/rng_options.h
rename to downward/search/utils/rng_options.h
diff --git a/src/search/utils/strings.cc b/downward/search/utils/strings.cc
similarity index 100%
rename from src/search/utils/strings.cc
rename to downward/search/utils/strings.cc
diff --git a/src/search/utils/strings.h b/downward/search/utils/strings.h
similarity index 100%
rename from src/search/utils/strings.h
rename to downward/search/utils/strings.h
diff --git a/src/search/utils/system.cc b/downward/search/utils/system.cc
similarity index 100%
rename from src/search/utils/system.cc
rename to downward/search/utils/system.cc
diff --git a/src/search/utils/system.h b/downward/search/utils/system.h
similarity index 100%
rename from src/search/utils/system.h
rename to downward/search/utils/system.h
diff --git a/src/search/utils/system_unix.cc b/downward/search/utils/system_unix.cc
similarity index 100%
rename from src/search/utils/system_unix.cc
rename to downward/search/utils/system_unix.cc
diff --git a/src/search/utils/system_unix.h b/downward/search/utils/system_unix.h
similarity index 100%
rename from src/search/utils/system_unix.h
rename to downward/search/utils/system_unix.h
diff --git a/src/search/utils/system_windows.cc b/downward/search/utils/system_windows.cc
similarity index 100%
rename from src/search/utils/system_windows.cc
rename to downward/search/utils/system_windows.cc
diff --git a/src/search/utils/system_windows.h b/downward/search/utils/system_windows.h
similarity index 100%
rename from src/search/utils/system_windows.h
rename to downward/search/utils/system_windows.h
diff --git a/src/search/utils/task_lexer.cc b/downward/search/utils/task_lexer.cc
similarity index 100%
rename from src/search/utils/task_lexer.cc
rename to downward/search/utils/task_lexer.cc
diff --git a/src/search/utils/task_lexer.h b/downward/search/utils/task_lexer.h
similarity index 100%
rename from src/search/utils/task_lexer.h
rename to downward/search/utils/task_lexer.h
diff --git a/src/search/utils/timer.cc b/downward/search/utils/timer.cc
similarity index 100%
rename from src/search/utils/timer.cc
rename to downward/search/utils/timer.cc
diff --git a/src/search/utils/timer.h b/downward/search/utils/timer.h
similarity index 100%
rename from src/search/utils/timer.h
rename to downward/search/utils/timer.h
diff --git a/src/search/utils/tuples.h b/downward/search/utils/tuples.h
similarity index 100%
rename from src/search/utils/tuples.h
rename to downward/search/utils/tuples.h
diff --git a/src/translate/__init__.py b/downward/translate/__init__.py
similarity index 100%
rename from src/translate/__init__.py
rename to downward/translate/__init__.py
diff --git a/src/translate/__main__.py b/downward/translate/__main__.py
similarity index 91%
rename from src/translate/__main__.py
rename to downward/translate/__main__.py
index 92802a6413..3181ba7ef4 100644
--- a/src/translate/__main__.py
+++ b/downward/translate/__main__.py
@@ -3,8 +3,8 @@
 import sys
 import traceback
 
-from translate import pddl_parser
-from translate.main import main
+from downward.translate import pddl_parser
+from downward.translate.main import main
 
 ## For a full list of exit codes, please see driver/returncodes.py. Here,
 ## we only list codes that are used by the translator component of the planner.
@@ -20,7 +20,7 @@ def handle_sigxcpu(signum, stackframe):
     os._exit(TRANSLATE_OUT_OF_TIME)
 
 if __name__ == "__main__":
-    from translate.options import set_options
+    from downward.translate.options import set_options
 
     set_options() # use command line options
     try:
diff --git a/src/translate/axiom_rules.py b/downward/translate/axiom_rules.py
similarity index 98%
rename from src/translate/axiom_rules.py
rename to downward/translate/axiom_rules.py
index 40c21aed0c..4d7a0c36b3 100644
--- a/src/translate/axiom_rules.py
+++ b/downward/translate/axiom_rules.py
@@ -1,7 +1,7 @@
-from translate import pddl
-from translate import sccs
-from translate import timers
-from translate.pddl_parser.parse_error import ParseError
+from downward.translate import pddl
+from downward.translate import sccs
+from downward.translate import timers
+from downward.translate.pddl_parser.parse_error import ParseError
 
 from collections import defaultdict
 from itertools import chain
diff --git a/src/translate/build_model.py b/downward/translate/build_model.py
similarity index 97%
rename from src/translate/build_model.py
rename to downward/translate/build_model.py
index 6b169219b4..a9cea392e8 100755
--- a/src/translate/build_model.py
+++ b/downward/translate/build_model.py
@@ -5,8 +5,8 @@
 import itertools
 import sys
 
-from translate import pddl
-from translate import timers
+from downward.translate import pddl
+from downward.translate import timers
 
 def convert_rules(prog):
     RULE_TYPES = {
@@ -326,10 +326,10 @@ def compute_model(prog):
     return queue.queue
 
 if __name__ == "__main__":
-    from translate import normalize
-    from translate import pddl_parser
-    from translate import pddl_to_prolog
-    from translate.options import set_options
+    from downward.translate import normalize
+    from downward.translate import pddl_parser
+    from downward.translate import pddl_to_prolog
+    from downward.translate.options import set_options
 
     set_options() # use command line options
     print("Parsing...")
diff --git a/src/translate/constraints.py b/downward/translate/constraints.py
similarity index 100%
rename from src/translate/constraints.py
rename to downward/translate/constraints.py
diff --git a/src/translate/fact_groups.py b/downward/translate/fact_groups.py
similarity index 96%
rename from src/translate/fact_groups.py
rename to downward/translate/fact_groups.py
index 7edc3c35fa..5fd075bbdd 100644
--- a/src/translate/fact_groups.py
+++ b/downward/translate/fact_groups.py
@@ -1,7 +1,7 @@
-from translate import invariant_finder
-from translate import pddl
-from translate import timers
-from translate.options import get_options
+from downward.translate import invariant_finder
+from downward.translate import pddl
+from downward.translate import timers
+from downward.translate.options import get_options
 from typing import Dict, List, Set, Tuple
 
 
diff --git a/src/translate/graph.py b/downward/translate/graph.py
similarity index 100%
rename from src/translate/graph.py
rename to downward/translate/graph.py
diff --git a/src/translate/greedy_join.py b/downward/translate/greedy_join.py
similarity index 98%
rename from src/translate/greedy_join.py
rename to downward/translate/greedy_join.py
index 7635e957ff..f772f3ac20 100644
--- a/src/translate/greedy_join.py
+++ b/downward/translate/greedy_join.py
@@ -1,7 +1,7 @@
 import sys
 
-from translate import pddl
-from translate import pddl_to_prolog
+from downward.translate import pddl
+from downward.translate import pddl_to_prolog
 
 class OccurrencesTracker:
     """Keeps track of the number of times each variable appears
diff --git a/src/translate/instantiate.py b/downward/translate/instantiate.py
similarity index 95%
rename from src/translate/instantiate.py
rename to downward/translate/instantiate.py
index 7a7b647771..27ff2b1ec4 100755
--- a/src/translate/instantiate.py
+++ b/downward/translate/instantiate.py
@@ -4,10 +4,10 @@
 from collections import defaultdict
 from typing import Any, Dict, List, Optional, Set, Tuple
 
-from translate import build_model
-from translate import pddl_to_prolog
-from translate import pddl
-from translate import timers
+from downward.translate import build_model
+from downward.translate import pddl_to_prolog
+from downward.translate import pddl
+from downward.translate import timers
 
 def get_fluent_facts(task, model):
     fluent_predicates = set()
@@ -120,8 +120,8 @@ def explore(task):
 
 
 if __name__ == "__main__":
-    from translate import pddl_parser
-    from translate.options import set_options
+    from downward.translate import pddl_parser
+    from downward.translate.options import set_options
 
     set_options() # use command line options
     task = pddl_parser.open()
diff --git a/src/translate/invariant_finder.py b/downward/translate/invariant_finder.py
similarity index 95%
rename from src/translate/invariant_finder.py
rename to downward/translate/invariant_finder.py
index dabb1c42b7..6c862f83a2 100755
--- a/src/translate/invariant_finder.py
+++ b/downward/translate/invariant_finder.py
@@ -7,10 +7,10 @@
 import time
 from typing import List
 
-from translate import invariants
-from translate import pddl
-from translate import timers
-from translate.options import get_options
+from downward.translate import invariants
+from downward.translate import pddl
+from downward.translate import timers
+from downward.translate.options import get_options
 
 class BalanceChecker:
     def __init__(self, task, reachable_action_params):
@@ -150,9 +150,9 @@ def get_groups(task, reachable_action_params=None) -> List[List[pddl.Atom]]:
     return result
 
 if __name__ == "__main__":
-    from translate import normalize
-    from translate import pddl_parser
-    from translate.options import set_options
+    from downward.translate import normalize
+    from downward.translate import pddl_parser
+    from downward.translate.options import set_options
 
     set_options() # use command line options
     print("Parsing...")
diff --git a/src/translate/invariants.py b/downward/translate/invariants.py
similarity index 99%
rename from src/translate/invariants.py
rename to downward/translate/invariants.py
index 8671abc7ac..518ebe99b7 100644
--- a/src/translate/invariants.py
+++ b/downward/translate/invariants.py
@@ -1,9 +1,9 @@
 from collections import defaultdict
 import itertools
 
-from translate import constraints
-from translate import pddl
-from translate import tools
+from downward.translate import constraints
+from downward.translate import pddl
+from downward.translate import tools
 
 # Notes:
 # All parts of an invariant always use all non-counted variables
diff --git a/src/translate/main.py b/downward/translate/main.py
similarity index 98%
rename from src/translate/main.py
rename to downward/translate/main.py
index d047353677..f5648b5b73 100755
--- a/src/translate/main.py
+++ b/downward/translate/main.py
@@ -17,18 +17,18 @@ def python_version_supported():
 from copy import deepcopy
 from itertools import product
 
-from translate import axiom_rules
-from translate import fact_groups
-from translate import instantiate
-from translate import normalize
-from translate import pddl
-from translate import pddl_parser
-from translate import sas_tasks
-from translate import simplify
-from translate import timers
-from translate import tools
-from translate import variable_order
-from translate.options import get_options
+from downward.translate import axiom_rules
+from downward.translate import fact_groups
+from downward.translate import instantiate
+from downward.translate import normalize
+from downward.translate import pddl
+from downward.translate import pddl_parser
+from downward.translate import sas_tasks
+from downward.translate import simplify
+from downward.translate import timers
+from downward.translate import tools
+from downward.translate import variable_order
+from downward.translate.options import get_options
 
 # TODO: The translator may generate trivial derived variables which are always
 # true, for example if there ia a derived predicate in the input that only
diff --git a/src/translate/normalize.py b/downward/translate/normalize.py
similarity index 99%
rename from src/translate/normalize.py
rename to downward/translate/normalize.py
index fb88e763c6..3a24e8aece 100755
--- a/src/translate/normalize.py
+++ b/downward/translate/normalize.py
@@ -3,7 +3,7 @@
 import copy
 from typing import Sequence
 
-from translate import pddl
+from downward.translate import pddl
 
 class ConditionProxy:
     def clone_owner(self):
@@ -426,8 +426,8 @@ def condition_to_rule_body(parameters: Sequence[pddl.TypedObject],
     return result
 
 if __name__ == "__main__":
-    from translate import pddl_parser
-    from translate.options import set_options
+    from downward.translate import pddl_parser
+    from downward.translate.options import set_options
 
     set_options() # use command line options
     task = pddl_parser.open()
diff --git a/src/translate/options.py b/downward/translate/options.py
similarity index 100%
rename from src/translate/options.py
rename to downward/translate/options.py
diff --git a/downward/translate/pddl/__init__.py b/downward/translate/pddl/__init__.py
new file mode 100644
index 0000000000..e7cf848992
--- /dev/null
+++ b/downward/translate/pddl/__init__.py
@@ -0,0 +1,37 @@
+from downward.translate.pddl.pddl_types import Type
+from downward.translate.pddl.pddl_types import TypedObject
+
+from downward.translate.pddl.tasks import Task
+from downward.translate.pddl.tasks import Requirements
+
+from downward.translate.pddl.predicates import Predicate
+
+from downward.translate.pddl.functions import Function
+
+from downward.translate.pddl.actions import Action
+from downward.translate.pddl.actions import PropositionalAction
+
+from downward.translate.pddl.axioms import Axiom
+from downward.translate.pddl.axioms import PropositionalAxiom
+
+from downward.translate.pddl.conditions import Literal
+from downward.translate.pddl.conditions import Atom
+from downward.translate.pddl.conditions import NegatedAtom
+from downward.translate.pddl.conditions import Falsity
+from downward.translate.pddl.conditions import Truth
+from downward.translate.pddl.conditions import Conjunction
+from downward.translate.pddl.conditions import Disjunction
+from downward.translate.pddl.conditions import UniversalCondition
+from downward.translate.pddl.conditions import ExistentialCondition
+
+from downward.translate.pddl.effects import ConditionalEffect
+from downward.translate.pddl.effects import ConjunctiveEffect
+from downward.translate.pddl.effects import CostEffect
+from downward.translate.pddl.effects import Effect
+from downward.translate.pddl.effects import SimpleEffect
+from downward.translate.pddl.effects import UniversalEffect
+
+from downward.translate.pddl.f_expression import Assign
+from downward.translate.pddl.f_expression import Increase
+from downward.translate.pddl.f_expression import NumericConstant
+from downward.translate.pddl.f_expression import PrimitiveNumericExpression
diff --git a/src/translate/pddl/actions.py b/downward/translate/pddl/actions.py
similarity index 94%
rename from src/translate/pddl/actions.py
rename to downward/translate/pddl/actions.py
index 043cd63c70..38c233e6bd 100644
--- a/src/translate/pddl/actions.py
+++ b/downward/translate/pddl/actions.py
@@ -1,13 +1,13 @@
 import copy
 from typing import List, Optional, Tuple
 
-from translate.pddl import conditions
-from translate.pddl.conditions import Condition, Literal
-from translate.pddl.effects import Effect
-from translate.pddl.f_expression import Increase
-from translate.pddl.pddl_types import TypedObject
+from downward.translate.pddl import conditions
+from downward.translate.pddl.conditions import Condition, Literal
+from downward.translate.pddl.effects import Effect
+from downward.translate.pddl.f_expression import Increase
+from downward.translate.pddl.pddl_types import TypedObject
 
-from translate.options import get_options
+from downward.translate.options import get_options
 
 class Action:
     def __init__(self, name: str, parameters: List[TypedObject],
diff --git a/src/translate/pddl/axioms.py b/downward/translate/pddl/axioms.py
similarity index 93%
rename from src/translate/pddl/axioms.py
rename to downward/translate/pddl/axioms.py
index 8838edfb3c..432da2a009 100644
--- a/src/translate/pddl/axioms.py
+++ b/downward/translate/pddl/axioms.py
@@ -1,8 +1,8 @@
 from typing import List
 
-from translate.pddl import conditions
-from translate.pddl.conditions import Atom, Condition, Literal
-from translate.pddl.pddl_types import TypedObject
+from downward.translate.pddl import conditions
+from downward.translate.pddl.conditions import Atom, Condition, Literal
+from downward.translate.pddl.pddl_types import TypedObject
 
 
 class Axiom:
diff --git a/src/translate/pddl/conditions.py b/downward/translate/pddl/conditions.py
similarity index 99%
rename from src/translate/pddl/conditions.py
rename to downward/translate/pddl/conditions.py
index 1f088993ad..c03b9c16bb 100644
--- a/src/translate/pddl/conditions.py
+++ b/downward/translate/pddl/conditions.py
@@ -1,6 +1,6 @@
 from typing import List
 
-from translate.pddl.pddl_types import TypedObject
+from downward.translate.pddl.pddl_types import TypedObject
 
 
 # Conditions (of any type) are immutable, because they need to
diff --git a/src/translate/pddl/effects.py b/downward/translate/pddl/effects.py
similarity index 96%
rename from src/translate/pddl/effects.py
rename to downward/translate/pddl/effects.py
index 2c6da6a013..40e87b409e 100644
--- a/src/translate/pddl/effects.py
+++ b/downward/translate/pddl/effects.py
@@ -1,9 +1,9 @@
 from typing import Iterable, List, Union
 
-from translate.pddl import conditions
-from translate.pddl.f_expression import Increase
-from translate.pddl.conditions import Condition, Literal
-from translate.pddl.pddl_types import TypedObject
+from downward.translate.pddl import conditions
+from downward.translate.pddl.f_expression import Increase
+from downward.translate.pddl.conditions import Condition, Literal
+from downward.translate.pddl.pddl_types import TypedObject
 
 AnyEffect = Union["ConditionalEffect", "ConjunctiveEffect", "UniversalEffect",
                   "SimpleEffect", "CostEffect"]
diff --git a/src/translate/pddl/f_expression.py b/downward/translate/pddl/f_expression.py
similarity index 100%
rename from src/translate/pddl/f_expression.py
rename to downward/translate/pddl/f_expression.py
diff --git a/src/translate/pddl/functions.py b/downward/translate/pddl/functions.py
similarity index 91%
rename from src/translate/pddl/functions.py
rename to downward/translate/pddl/functions.py
index 5fc24abff9..933ac1aefd 100644
--- a/src/translate/pddl/functions.py
+++ b/downward/translate/pddl/functions.py
@@ -1,6 +1,6 @@
 from typing import List
 
-from translate.pddl.pddl_types import TypedObject
+from downward.translate.pddl.pddl_types import TypedObject
 
 class Function:
     def __init__(self, name: str, arguments: List[TypedObject],
diff --git a/src/translate/pddl/pddl_types.py b/downward/translate/pddl/pddl_types.py
similarity index 97%
rename from src/translate/pddl/pddl_types.py
rename to downward/translate/pddl/pddl_types.py
index 40f4818302..aaa59bcc2d 100644
--- a/src/translate/pddl/pddl_types.py
+++ b/downward/translate/pddl/pddl_types.py
@@ -65,6 +65,6 @@ def uniquify_name(self, type_map, renamings):
 
     def get_atom(self):
         # TODO: Resolve cyclic import differently.
-        from translate.pddl import conditions
+        from downward.translate.pddl import conditions
         predicate_name = _get_type_predicate_name(self.type_name)
         return conditions.Atom(predicate_name, [self.name])
diff --git a/src/translate/pddl/predicates.py b/downward/translate/pddl/predicates.py
similarity index 85%
rename from src/translate/pddl/predicates.py
rename to downward/translate/pddl/predicates.py
index d9af631e5d..7115c87298 100644
--- a/src/translate/pddl/predicates.py
+++ b/downward/translate/pddl/predicates.py
@@ -1,6 +1,6 @@
 from typing import List
 
-from translate.pddl.pddl_types import TypedObject
+from downward.translate.pddl.pddl_types import TypedObject
 
 class Predicate:
     def __init__(self, name: str, arguments: List[TypedObject]) -> None:
diff --git a/src/translate/pddl/tasks.py b/downward/translate/pddl/tasks.py
similarity index 85%
rename from src/translate/pddl/tasks.py
rename to downward/translate/pddl/tasks.py
index d473388240..c1b9f1f053 100644
--- a/src/translate/pddl/tasks.py
+++ b/downward/translate/pddl/tasks.py
@@ -1,14 +1,14 @@
 from typing import List, Union
 
-from translate.pddl import axioms
-from translate.pddl import predicates
-from translate.pddl.actions import Action
-from translate.pddl.axioms import Axiom
-from translate.pddl.conditions import Atom, Condition
-from translate.pddl.f_expression import Assign
-from translate.pddl.functions import Function
-from translate.pddl.pddl_types import Type, TypedObject
-from translate.pddl.predicates import Predicate
+from downward.translate.pddl import axioms
+from downward.translate.pddl import predicates
+from downward.translate.pddl.actions import Action
+from downward.translate.pddl.axioms import Axiom
+from downward.translate.pddl.conditions import Atom, Condition
+from downward.translate.pddl.f_expression import Assign
+from downward.translate.pddl.functions import Function
+from downward.translate.pddl.pddl_types import Type, TypedObject
+from downward.translate.pddl.predicates import Predicate
 
 class Task:
     def __init__(self, domain_name: str, task_name: str,
diff --git a/downward/translate/pddl_parser/__init__.py b/downward/translate/pddl_parser/__init__.py
new file mode 100644
index 0000000000..24894251b8
--- /dev/null
+++ b/downward/translate/pddl_parser/__init__.py
@@ -0,0 +1,2 @@
+from downward.translate.pddl_parser.parse_error import ParseError
+from downward.translate.pddl_parser.pddl_file import open
diff --git a/src/translate/pddl_parser/lisp_parser.py b/downward/translate/pddl_parser/lisp_parser.py
similarity index 95%
rename from src/translate/pddl_parser/lisp_parser.py
rename to downward/translate/pddl_parser/lisp_parser.py
index a364632a39..db4d45c812 100644
--- a/src/translate/pddl_parser/lisp_parser.py
+++ b/downward/translate/pddl_parser/lisp_parser.py
@@ -1,6 +1,6 @@
 __all__ = ["parse_nested_list"]
 
-from translate.pddl_parser.parse_error import ParseError
+from downward.translate.pddl_parser.parse_error import ParseError
 
 # Basic functions for parsing PDDL (Lisp) files.
 def parse_nested_list(input_file):
diff --git a/src/translate/pddl_parser/parse_error.py b/downward/translate/pddl_parser/parse_error.py
similarity index 100%
rename from src/translate/pddl_parser/parse_error.py
rename to downward/translate/pddl_parser/parse_error.py
diff --git a/src/translate/pddl_parser/parsing_functions.py b/downward/translate/pddl_parser/parsing_functions.py
similarity index 99%
rename from src/translate/pddl_parser/parsing_functions.py
rename to downward/translate/pddl_parser/parsing_functions.py
index 025e4ce497..8bc268fc5f 100644
--- a/src/translate/pddl_parser/parsing_functions.py
+++ b/downward/translate/pddl_parser/parsing_functions.py
@@ -1,11 +1,11 @@
 import contextlib
 import sys
 
-from translate import graph
-from translate import pddl
-from translate.options import get_options
-from translate.pddl_parser.warning import print_warning
-from translate.pddl_parser.parse_error import ParseError
+from downward.translate import graph
+from downward.translate import pddl
+from downward.translate.options import get_options
+from downward.translate.pddl_parser.warning import print_warning
+from downward.translate.pddl_parser.parse_error import ParseError
 
 TYPED_LIST_SEPARATOR = "-"
 
diff --git a/src/translate/pddl_parser/pddl_file.py b/downward/translate/pddl_parser/pddl_file.py
similarity index 87%
rename from src/translate/pddl_parser/pddl_file.py
rename to downward/translate/pddl_parser/pddl_file.py
index 98d2bc7b17..ff56487e7a 100644
--- a/src/translate/pddl_parser/pddl_file.py
+++ b/downward/translate/pddl_parser/pddl_file.py
@@ -1,6 +1,6 @@
-from translate.pddl_parser import lisp_parser
-from translate.pddl_parser import parse_error
-from translate.pddl_parser import parsing_functions
+from downward.translate.pddl_parser import lisp_parser
+from downward.translate.pddl_parser import parse_error
+from downward.translate.pddl_parser import parsing_functions
 
 file_open = open
 
@@ -29,7 +29,7 @@ def open(domain_filename=None, task_filename=None):
         # at the head of this file because open is exposed in __init__.py
         # and as a result importing anything of the pddl_parser package in
         # external code would then trigger this arg parse.
-        from translate.options import get_options
+        from downward.translate.options import get_options
         domain_filename = domain_filename or get_options().domain
         task_filename = task_filename or get_options().task
 
diff --git a/src/translate/pddl_parser/warning.py b/downward/translate/pddl_parser/warning.py
similarity index 100%
rename from src/translate/pddl_parser/warning.py
rename to downward/translate/pddl_parser/warning.py
diff --git a/src/translate/pddl_to_prolog.py b/downward/translate/pddl_to_prolog.py
similarity index 96%
rename from src/translate/pddl_to_prolog.py
rename to downward/translate/pddl_to_prolog.py
index d3fb907794..6f2bd2d921 100755
--- a/src/translate/pddl_to_prolog.py
+++ b/downward/translate/pddl_to_prolog.py
@@ -3,9 +3,9 @@
 
 import itertools
 
-from translate import normalize
-from translate import pddl
-from translate import timers
+from downward.translate import normalize
+from downward.translate import pddl
+from downward.translate import timers
 
 class PrologProgram:
     def __init__(self):
@@ -36,7 +36,7 @@ def normalize(self):
         self.split_duplicate_arguments()
         self.convert_trivial_rules()
     def split_rules(self):
-        from translate import split_rules
+        from downward.translate import split_rules
         # Splits rules whose conditions can be partitioned in such a way that
         # the parts have disjoint variable sets, then split n-ary joins into
         # a number of binary joins, introducing new pseudo-predicates for the
@@ -176,8 +176,8 @@ def translate(task):
 
 
 if __name__ == "__main__":
-    from translate import pddl_parser
-    from translate.options import set_options
+    from downward.translate import pddl_parser
+    from downward.translate.options import set_options
 
     set_options() # use command line options
     task = pddl_parser.open()
diff --git a/src/translate/sas_tasks.py b/downward/translate/sas_tasks.py
similarity index 100%
rename from src/translate/sas_tasks.py
rename to downward/translate/sas_tasks.py
diff --git a/src/translate/sccs.py b/downward/translate/sccs.py
similarity index 100%
rename from src/translate/sccs.py
rename to downward/translate/sccs.py
diff --git a/src/translate/simplify.py b/downward/translate/simplify.py
similarity index 99%
rename from src/translate/simplify.py
rename to downward/translate/simplify.py
index 13fdf3ed82..a300f8de21 100644
--- a/src/translate/simplify.py
+++ b/downward/translate/simplify.py
@@ -26,8 +26,8 @@
 from collections import defaultdict
 from itertools import count
 
-from translate import sas_tasks
-from translate.options import get_options
+from downward.translate import sas_tasks
+from downward.translate.options import get_options
 
 DEBUG = False
 
diff --git a/src/translate/split_rules.py b/downward/translate/split_rules.py
similarity index 93%
rename from src/translate/split_rules.py
rename to downward/translate/split_rules.py
index 38347d74f7..bf2ac47935 100644
--- a/src/translate/split_rules.py
+++ b/downward/translate/split_rules.py
@@ -2,10 +2,10 @@
 # components" (where to conditions are related if they share a variabe) into
 # several rules, one for each connected component and one high-level rule.
 
-from translate.pddl_to_prolog import Rule, get_variables
-from translate import graph
-from translate import greedy_join
-from translate import pddl
+from downward.translate.pddl_to_prolog import Rule, get_variables
+from downward.translate import graph
+from downward.translate import greedy_join
+from downward.translate import pddl
 
 def get_connected_conditions(conditions):
     agraph = graph.Graph(conditions)
diff --git a/src/translate/timers.py b/downward/translate/timers.py
similarity index 100%
rename from src/translate/timers.py
rename to downward/translate/timers.py
diff --git a/src/translate/tools.py b/downward/translate/tools.py
similarity index 100%
rename from src/translate/tools.py
rename to downward/translate/tools.py
diff --git a/src/translate/variable_order.py b/downward/translate/variable_order.py
similarity index 99%
rename from src/translate/variable_order.py
rename to downward/translate/variable_order.py
index dae4fc8a08..edc92b0c9f 100644
--- a/src/translate/variable_order.py
+++ b/downward/translate/variable_order.py
@@ -2,8 +2,8 @@
 from itertools import chain
 import heapq
 
-from translate import sccs
-from translate.options import get_options
+from downward.translate import sccs
+from downward.translate.options import get_options
 
 DEBUG = False
 
diff --git a/driver/run_components.py b/driver/run_components.py
index d030c2b9db..250c5d1c30 100644
--- a/driver/run_components.py
+++ b/driver/run_components.py
@@ -20,7 +20,7 @@
 else:
     returncodes.exit_with_driver_unsupported_error("Unsupported OS: " + os.name)
 
-REL_TRANSLATE_PATH = Path("translate")
+REL_TRANSLATE_PATH = Path("translator/downward/translate")
 REL_SEARCH_PATH = Path(f"downward{BINARY_EXT}")
 # Older versions of VAL use lower case, newer versions upper case. We prefer the
 # older version because this is what our build instructions recommend.
@@ -75,14 +75,14 @@ def run_translate(args):
     translate = get_executable(args.build, REL_TRANSLATE_PATH)
 
     assert sys.executable, "Path to interpreter could not be found"
-    cmd = [sys.executable] + ["-m", "translate"] + args.translate_inputs + args.translate_options
+    cmd = [sys.executable] + ["-m", "downward.translate"] + args.translate_inputs + args.translate_options
 
     stderr, returncode = call.get_error_output_and_returncode(
         "translator",
         cmd,
         time_limit=time_limit,
         memory_limit=memory_limit,
-        prepend_to_python_path=translate.parent)
+        prepend_to_python_path=translate.parent.parent)
 
     # We collect stderr of the translator and print it here, unless
     # the translator ran out of memory and all output in stderr is
diff --git a/misc/releases/prepare-translator-package.sh b/misc/releases/prepare-translator-package.sh
new file mode 100755
index 0000000000..bbeb1ac5bf
--- /dev/null
+++ b/misc/releases/prepare-translator-package.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+
+set -euo pipefail
+
+if [ $# -ne 1 ]; then
+    echo "Usage: ./prepare-translator-package.sh 19.06"
+    exit 1
+fi
+MAJOR=$1
+
+if [[ ! "$MAJOR" =~ ^[1-9][0-9]\.[0-9][0-9]$ ]]; then
+    echo "Unrecognized version number '$MAJOR'. Expected the format YY.MM (e.g. 19.06)."
+    exit 1
+fi
+
+SCRIPTDIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
+PACKAGEDIR=$SCRIPTDIR/translator-$MAJOR
+mkdir -p $PACKAGEDIR/downward
+cp -r $SCRIPTDIR/translator/* $PACKAGEDIR/
+cp -r $SCRIPTDIR/../../downward/translate $PACKAGEDIR/downward/
+cp -r $SCRIPTDIR/../../LICENSE.md $PACKAGEDIR/
+echo $MAJOR > $PACKAGEDIR/VERSION
+
+ENVDIR=env-translate-$MAJOR
+python3 -m venv $ENVDIR
+source $ENVDIR/bin/activate
+python3 -m pip install --upgrade build
+cd $PACKAGEDIR
+python3 -m build
diff --git a/misc/releases/translator/README.md b/misc/releases/translator/README.md
new file mode 100644
index 0000000000..d2da5706be
--- /dev/null
+++ b/misc/releases/translator/README.md
@@ -0,0 +1,11 @@
+# Fast Downward translator
+
+This package contains the translator of the [Fast Downward planning
+system](https://www.fast-downward.org). It parses planning tasks specified in
+the Planning Domain Definition Language PDDL, performs several transformations
+and generates the
+[`output.sas` format](https://www.fast-downward.org/latest/documentation/translator-output-format/)
+that serves as the input for the search component of the planning system.
+
+At the moment, you can call it with `python3 -m downward.translate`.
+
diff --git a/misc/releases/translator/pyproject.toml b/misc/releases/translator/pyproject.toml
new file mode 100644
index 0000000000..59653f25e4
--- /dev/null
+++ b/misc/releases/translator/pyproject.toml
@@ -0,0 +1,28 @@
+[project]
+name = "downward_translate"
+dynamic = ["version"]
+description = "Translator of the Fast Downward planning system"
+authors = [
+    {name = "UNIBAS Team"},
+]
+maintainers = [
+    {name = "Gabriele Röger", email = "gabriele.roeger@unibas.ch"},
+]
+readme = "README.md"
+requires-python = ">=3.9"
+classifiers = [
+    "Programming Language :: Python :: 3",
+    "Operating System :: OS Independent",
+]
+license = "GPL-3.0-only"
+
+[project.urls]
+Homepage = "https://www.fast-downward.org"
+Issues = "https://issues.fast-downward.org"
+
+[tool.setuptools.dynamic]
+version = {file = "VERSION"}
+
+[build-system]
+requires = ["setuptools >= 77.0.3"]
+build-backend = "setuptools.build_meta"
diff --git a/misc/style/check-include-guard-convention.py b/misc/style/check-include-guard-convention.py
index 88ac5682c5..a641225dc3 100755
--- a/misc/style/check-include-guard-convention.py
+++ b/misc/style/check-include-guard-convention.py
@@ -7,7 +7,7 @@
 
 DIR = os.path.dirname(os.path.abspath(__file__))
 REPO = os.path.dirname(os.path.dirname(DIR))
-SRC_DIR = os.path.join(REPO, "src")
+SRC_DIR = os.path.join(REPO, "downward")
 
 
 def check_header_files(component):
diff --git a/misc/style/run-all-style-checks.py b/misc/style/run-all-style-checks.py
index 7395520202..ec0155bf56 100755
--- a/misc/style/run-all-style-checks.py
+++ b/misc/style/run-all-style-checks.py
@@ -14,7 +14,7 @@
 
 DIR = os.path.dirname(os.path.abspath(__file__))
 REPO = os.path.dirname(os.path.dirname(DIR))
-SRC_DIR = os.path.join(REPO, "src")
+SRC_DIR = os.path.join(REPO, "downward")
 
 import utils
 
@@ -28,7 +28,7 @@ def check_python_style():
             "--extend-ignore",
             "E128,E129,E131,E261,E266,E301,E302,E305,E306,E402,E501,E741,F401",
             "--exclude", "run-clang-tidy.py,txt2tags.py,.tox,.venv",
-            "src/translate/", "driver/", "misc/",
+            "downward/translate/", "driver/", "misc/",
             "build.py", "build_configs.py", "fast-downward.py"], cwd=REPO)
     except FileNotFoundError:
         sys.exit('Error: flake8 not found. Try "tox -e style".')
diff --git a/misc/style/run-clang-format.py b/misc/style/run-clang-format.py
index 81d97334ea..4a817ecb22 100755
--- a/misc/style/run-clang-format.py
+++ b/misc/style/run-clang-format.py
@@ -13,7 +13,7 @@
 
 DIR = os.path.dirname(os.path.abspath(__file__))
 REPO = os.path.dirname(os.path.dirname(DIR))
-SEARCH_DIR = os.path.join(REPO, "src", "search")
+SEARCH_DIR = os.path.join(REPO, "downward", "search")
 CLANG_FORMAT_VERSION = "18"
 
 
diff --git a/misc/style/run-clang-tidy.py b/misc/style/run-clang-tidy.py
index 6a0fc95f28..c8bacd89f2 100755
--- a/misc/style/run-clang-tidy.py
+++ b/misc/style/run-clang-tidy.py
@@ -9,7 +9,7 @@
 
 DIR = os.path.dirname(os.path.abspath(__file__))
 REPO = os.path.dirname(os.path.dirname(DIR))
-SRC_DIR = os.path.join(REPO, "src")
+SRC_DIR = os.path.join(REPO, "downward")
 CLANG_TIDY_VERSION = "18"
 
 import utils
@@ -30,12 +30,12 @@ def check_search_code_with_clang_tidy():
     if not os.path.exists(build_dir):
         os.makedirs(build_dir)
     with open(os.devnull, 'w') as devnull:
-        subprocess.check_call(["cmake", "../../src"], cwd=build_dir, stdout=devnull)
+        subprocess.check_call(["cmake", "../../downward"], cwd=build_dir, stdout=devnull)
 
     # Create custom compilation database file. CMake outputs part of this information
     # when passing -DCMAKE_EXPORT_COMPILE_COMMANDS=ON, but the resulting file
     # contains no header files.
-    search_dir = os.path.join(REPO, "src/search")
+    search_dir = os.path.join(REPO, "downward/search")
     src_files = utils.get_src_files(search_dir, (".h", ".cc"))
     compile_commands = [{
         "directory": os.path.join(build_dir, "search"),
diff --git a/misc/tests/test-dependencies.py b/misc/tests/test-dependencies.py
index 17a566ea00..e0fa83bd96 100755
--- a/misc/tests/test-dependencies.py
+++ b/misc/tests/test-dependencies.py
@@ -8,7 +8,7 @@
 
 DIR = os.path.dirname(os.path.abspath(__file__))
 REPO = os.path.dirname(os.path.dirname(DIR))
-LIBRARY_DEFINITION_FILE = os.path.join(REPO, "src", "search", "CMakeLists.txt")
+LIBRARY_DEFINITION_FILE = os.path.join(REPO, "downward", "downward", "CMakeLists.txt")
 BUILDS = os.path.join(REPO, "builds/test-dependencies")
 
 
@@ -62,7 +62,7 @@ def get_library_definitions(content):
 for library in libraries:
     build_path = os.path.join(BUILDS, library.lower())
     config_cmd = [
-        "cmake", "-S", os.path.join(REPO, "src"), "-B", build_path,
+        "cmake", "-S", os.path.join(REPO, "downward"), "-B", build_path,
         "-DCMAKE_BUILD_TYPE=Debug", "-DDISABLE_LIBRARIES_BY_DEFAULT=YES",
         f"-DLIBRARY_{library.upper()}_ENABLED=True"
     ]
diff --git a/misc/tests/test-parameters.py b/misc/tests/test-parameters.py
index 9b4e28ef13..44939350e5 100644
--- a/misc/tests/test-parameters.py
+++ b/misc/tests/test-parameters.py
@@ -15,7 +15,7 @@
 
 DIR = Path(__file__).resolve().parent
 REPO = DIR.parents[1]
-SRC_DIR = REPO / "src"
+SRC_DIR = REPO / "downward"
 
 SHORT_HANDS = [
     "ipdb", # cpdbs(hillclimbing())
diff --git a/src/translate/pddl/__init__.py b/src/translate/pddl/__init__.py
deleted file mode 100644
index bbb3c2d973..0000000000
--- a/src/translate/pddl/__init__.py
+++ /dev/null
@@ -1,37 +0,0 @@
-from translate.pddl.pddl_types import Type
-from translate.pddl.pddl_types import TypedObject
-
-from translate.pddl.tasks import Task
-from translate.pddl.tasks import Requirements
-
-from translate.pddl.predicates import Predicate
-
-from translate.pddl.functions import Function
-
-from translate.pddl.actions import Action
-from translate.pddl.actions import PropositionalAction
-
-from translate.pddl.axioms import Axiom
-from translate.pddl.axioms import PropositionalAxiom
-
-from translate.pddl.conditions import Literal
-from translate.pddl.conditions import Atom
-from translate.pddl.conditions import NegatedAtom
-from translate.pddl.conditions import Falsity
-from translate.pddl.conditions import Truth
-from translate.pddl.conditions import Conjunction
-from translate.pddl.conditions import Disjunction
-from translate.pddl.conditions import UniversalCondition
-from translate.pddl.conditions import ExistentialCondition
-
-from translate.pddl.effects import ConditionalEffect
-from translate.pddl.effects import ConjunctiveEffect
-from translate.pddl.effects import CostEffect
-from translate.pddl.effects import Effect
-from translate.pddl.effects import SimpleEffect
-from translate.pddl.effects import UniversalEffect
-
-from translate.pddl.f_expression import Assign
-from translate.pddl.f_expression import Increase
-from translate.pddl.f_expression import NumericConstant
-from translate.pddl.f_expression import PrimitiveNumericExpression
diff --git a/src/translate/pddl_parser/__init__.py b/src/translate/pddl_parser/__init__.py
deleted file mode 100644
index b2ca242dc8..0000000000
--- a/src/translate/pddl_parser/__init__.py
+++ /dev/null
@@ -1,2 +0,0 @@
-from translate.pddl_parser.parse_error import ParseError
-from translate.pddl_parser.pddl_file import open