CMakeLists.txt
Config.cmake.in
LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
cmake/configure_boost.cmake
cmake/configure_ccache.cmake
cmake/configure_loki.cmake
dependencies/CMakeLists.txt
dependencies/benchmark/CMakeLists.txt
dependencies/boost/CMakeLists.txt
dependencies/flatmemory/CMakeLists.txt
dependencies/googletest/CMakeLists.txt
dependencies/loki/CMakeLists.txt
dependencies/pybind11/CMakeLists.txt
exe/CMakeLists.txt
exe/planner.cpp
include/mimir/mimir.hpp
include/mimir/algorithms/kpkc.hpp
include/mimir/algorithms/memory_pool.hpp
include/mimir/algorithms/murmurhash3.hpp
include/mimir/common/collections.hpp
include/mimir/common/concepts.hpp
include/mimir/common/itertools.hpp
include/mimir/common/printers.hpp
include/mimir/common/random.hpp
include/mimir/common/timers.hpp
include/mimir/datasets/state_space.hpp
include/mimir/formalism/action.hpp
include/mimir/formalism/atom.hpp
include/mimir/formalism/axiom.hpp
include/mimir/formalism/domain.hpp
include/mimir/formalism/effects.hpp
include/mimir/formalism/factories.hpp
include/mimir/formalism/formalism.hpp
include/mimir/formalism/function.hpp
include/mimir/formalism/function_expressions.hpp
include/mimir/formalism/function_skeleton.hpp
include/mimir/formalism/ground_atom.hpp
include/mimir/formalism/ground_function.hpp
include/mimir/formalism/ground_function_expressions.hpp
include/mimir/formalism/ground_literal.hpp
include/mimir/formalism/grounding_table.hpp
include/mimir/formalism/literal.hpp
include/mimir/formalism/metric.hpp
include/mimir/formalism/numeric_fluent.hpp
include/mimir/formalism/object.hpp
include/mimir/formalism/parser.hpp
include/mimir/formalism/pddl.hpp
include/mimir/formalism/predicate.hpp
include/mimir/formalism/predicate_category.hpp
include/mimir/formalism/problem.hpp
include/mimir/formalism/requirements.hpp
include/mimir/formalism/term.hpp
include/mimir/formalism/transformers.hpp
include/mimir/formalism/translators.hpp
include/mimir/formalism/variable.hpp
include/mimir/formalism/transformers/base.hpp
include/mimir/formalism/transformers/base_cached_recurse.hpp
include/mimir/formalism/transformers/copy.hpp
include/mimir/formalism/transformers/delete_relax.hpp
include/mimir/formalism/transformers/encode_parameter_index_in_variables.hpp
include/mimir/formalism/transformers/interface.hpp
include/mimir/formalism/translators/base_cached_recurse.hpp
include/mimir/formalism/translators/base_recurse.hpp
include/mimir/formalism/translators/interface.hpp
include/mimir/formalism/translators/move_existential_quantifiers.hpp
include/mimir/formalism/translators/remove_types.hpp
include/mimir/formalism/translators/remove_universal_quantifiers.hpp
include/mimir/formalism/translators/rename_quantified_variables.hpp
include/mimir/formalism/translators/simplify_goal.hpp
include/mimir/formalism/translators/split_disjunctive_conditions.hpp
include/mimir/formalism/translators/to_disjunctive_normal_form.hpp
include/mimir/formalism/translators/to_effect_normal_form.hpp
include/mimir/formalism/translators/to_mimir_structures.hpp
include/mimir/formalism/translators/to_negation_normal_form.hpp
include/mimir/formalism/translators/utils.hpp
include/mimir/isomorphism/exact.hpp
include/mimir/isomorphism/wl.hpp
include/mimir/search/actions.hpp
include/mimir/search/algorithms.hpp
include/mimir/search/applicable_action_generators.hpp
include/mimir/search/axiom_evaluators.hpp
include/mimir/search/axioms.hpp
include/mimir/search/builder.hpp
include/mimir/search/condition_grounders.hpp
include/mimir/search/flat_types.hpp
include/mimir/search/heuristics.hpp
include/mimir/search/openlists.hpp
include/mimir/search/plan.hpp
include/mimir/search/planners.hpp
include/mimir/search/search_nodes.hpp
include/mimir/search/states.hpp
include/mimir/search/successor_state_generators.hpp
include/mimir/search/translations.hpp
include/mimir/search/view.hpp
include/mimir/search/view_const.hpp
include/mimir/search/actions/dense.hpp
include/mimir/search/actions/interface.hpp
include/mimir/search/actions/tags.hpp
include/mimir/search/algorithms/astar.hpp
include/mimir/search/algorithms/brfs.hpp
include/mimir/search/algorithms/event_handlers.hpp
include/mimir/search/algorithms/interface.hpp
include/mimir/search/algorithms/event_handlers/debug.hpp
include/mimir/search/algorithms/event_handlers/default.hpp
include/mimir/search/algorithms/event_handlers/interface.hpp
include/mimir/search/algorithms/event_handlers/statistics.hpp
include/mimir/search/applicable_action_generators/dense_grounded.hpp
include/mimir/search/applicable_action_generators/dense_lifted.hpp
include/mimir/search/applicable_action_generators/grounding_utils.hpp
include/mimir/search/applicable_action_generators/interface.hpp
include/mimir/search/applicable_action_generators/tags.hpp
include/mimir/search/applicable_action_generators/dense_grounded/event_handlers.hpp
include/mimir/search/applicable_action_generators/dense_grounded/match_tree.hpp
include/mimir/search/applicable_action_generators/dense_grounded/event_handlers/debug.hpp
include/mimir/search/applicable_action_generators/dense_grounded/event_handlers/default.hpp
include/mimir/search/applicable_action_generators/dense_grounded/event_handlers/interface.hpp
include/mimir/search/applicable_action_generators/dense_grounded/event_handlers/statistics.hpp
include/mimir/search/applicable_action_generators/dense_lifted/assignment_set.hpp
include/mimir/search/applicable_action_generators/dense_lifted/consistency_graph.hpp
include/mimir/search/applicable_action_generators/dense_lifted/event_handlers.hpp
include/mimir/search/applicable_action_generators/dense_lifted/event_handlers/debug.hpp
include/mimir/search/applicable_action_generators/dense_lifted/event_handlers/default.hpp
include/mimir/search/applicable_action_generators/dense_lifted/event_handlers/interface.hpp
include/mimir/search/applicable_action_generators/dense_lifted/event_handlers/statistics.hpp
include/mimir/search/axiom_evaluators/axiom_stratification.hpp
include/mimir/search/axiom_evaluators/dense.hpp
include/mimir/search/axiom_evaluators/interface.hpp
include/mimir/search/axiom_evaluators/tags.hpp
include/mimir/search/axioms/dense.hpp
include/mimir/search/axioms/interface.hpp
include/mimir/search/axioms/tags.hpp
include/mimir/search/condition_grounders/event_handlers/default.hpp
include/mimir/search/condition_grounders/event_handlers/interface.hpp
include/mimir/search/heuristics/blind.hpp
include/mimir/search/heuristics/interface.hpp
include/mimir/search/heuristics/tags.hpp
include/mimir/search/openlists/interface.hpp
include/mimir/search/openlists/priority_queue.hpp
include/mimir/search/openlists/tags.hpp
include/mimir/search/planners/interface.hpp
include/mimir/search/planners/single.hpp
include/mimir/search/search_nodes/cost.hpp
include/mimir/search/states/dense.hpp
include/mimir/search/states/interface.hpp
include/mimir/search/states/tags.hpp
include/mimir/search/successor_state_generators/dense.hpp
include/mimir/search/successor_state_generators/interface.hpp
python/src/CMakeLists.txt
python/src/pymimir/__init__.py
python/src/pymimir/bindings.cpp
python/src/pymimir/main.cpp
python/src/pymimir.egg-info/PKG-INFO
python/src/pymimir.egg-info/SOURCES.txt
python/src/pymimir.egg-info/dependency_links.txt
python/src/pymimir.egg-info/not-zip-safe
python/src/pymimir.egg-info/requires.txt
python/src/pymimir.egg-info/top_level.txt
python/tests/__init__.py
python/tests/datasets/test_state_space.py
python/tests/formalism/test_parser.py
python/tests/search/test_brfs.py
src/CMakeLists.txt
src/common/kpkc.cpp
src/common/murmurhash3.cpp
src/datasets/state_space.cpp
src/formalism/action.cpp
src/formalism/axiom.cpp
src/formalism/domain.cpp
src/formalism/effects.cpp
src/formalism/function.cpp
src/formalism/function_expressions.cpp
src/formalism/function_skeleton.cpp
src/formalism/ground_function.cpp
src/formalism/ground_function_expressions.cpp
src/formalism/metric.cpp
src/formalism/numeric_fluent.cpp
src/formalism/object.cpp
src/formalism/parser.cpp
src/formalism/problem.cpp
src/formalism/requirements.cpp
src/formalism/term.cpp
src/formalism/variable.cpp
src/formalism/transformers/delete_relax.cpp
src/formalism/transformers/encode_parameter_index_in_variables.cpp
src/formalism/translators/move_existential_quantifiers.cpp
src/formalism/translators/remove_types.cpp
src/formalism/translators/remove_universal_quantifiers.cpp
src/formalism/translators/rename_quantified_variables.cpp
src/formalism/translators/simplify_goal.cpp
src/formalism/translators/split_disjunctive_conditions.cpp
src/formalism/translators/to_disjunctive_normal_form.cpp
src/formalism/translators/to_effect_normal_form.cpp
src/formalism/translators/to_mimir_structures.cpp
src/formalism/translators/to_negation_normal_form.cpp
src/formalism/translators/utils.cpp
src/search/plan.cpp
src/search/actions/dense.cpp
src/search/algorithms/event_handlers/debug.cpp
src/search/algorithms/event_handlers/default.cpp
src/search/applicable_action_generators/dense_grounded.cpp
src/search/applicable_action_generators/dense_lifted.cpp
src/search/applicable_action_generators/dense_grounded/event_handlers/debug.cpp
src/search/applicable_action_generators/dense_grounded/event_handlers/default.cpp
src/search/applicable_action_generators/dense_lifted/consistency_graph.cpp
src/search/applicable_action_generators/dense_lifted/event_handlers/debug.cpp
src/search/applicable_action_generators/dense_lifted/event_handlers/default.cpp
src/search/axiom_evaluators/axiom_stratification.cpp
src/search/axiom_evaluators/dense.cpp
src/search/axioms/dense.cpp
src/search/states/dense.cpp
tests/CMakeLists.txt
tests/integration/CMakeLists.txt
tests/integration/main.cpp
tests/integration/dependencies/CMakeLists.txt
tests/integration/dependencies/boost/CMakeLists.txt
tests/integration/dependencies/flatmemory/CMakeLists.txt
tests/integration/dependencies/loki/CMakeLists.txt
tests/integration/dependencies/mimir/CMakeLists.txt
tests/unit/CMakeLists.txt
tests/unit/algorithms/memory_pool.cpp
tests/unit/datasets/state_space.cpp
tests/unit/formalism/translators/remove_types.cpp
tests/unit/formalism/translators/remove_universal_quantifiers.cpp
tests/unit/formalism/translators/to_disjunctive_normal_form.cpp
tests/unit/formalism/translators/to_negation_normal_form.cpp
tests/unit/search/actions/default.cpp
tests/unit/search/algorithms/astar.cpp
tests/unit/search/algorithms/brfs.cpp
tests/unit/search/applicable_action_generators/dense-grounded.cpp
tests/unit/search/applicable_action_generators/dense-lifted.cpp
tests/unit/search/heuristics/blind.cpp
tests/unit/search/openlists/priority_queue.cpp
tests/unit/search/planners/single.cpp
tests/unit/search/search_nodes/cost.cpp
tests/unit/search/states/bitset/bitset.cpp
tests/unit/search/successor_state_generators/dense.cpp