CMakeLists.txt
Config.cmake.in
LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
cmake/FindNauty.cmake
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/nauty/CMakeLists.txt
dependencies/pybind11/CMakeLists.txt
exe/CMakeLists.txt
exe/gfa.cpp
exe/planner_brfs.cpp
exe/planner_iw.cpp
exe/planner_siw.cpp
include/mimir/mimir.hpp
include/mimir/algorithms/BS_thread_pool.hpp
include/mimir/algorithms/BS_thread_pool_utils.hpp
include/mimir/algorithms/kpkc.hpp
include/mimir/algorithms/memory_pool.hpp
include/mimir/algorithms/murmurhash3.hpp
include/mimir/algorithms/nauty.hpp
include/mimir/common/collections.hpp
include/mimir/common/concepts.hpp
include/mimir/common/grouped_vector.hpp
include/mimir/common/hash.hpp
include/mimir/common/itertools.hpp
include/mimir/common/printers.hpp
include/mimir/common/random.hpp
include/mimir/common/timers.hpp
include/mimir/common/types.hpp
include/mimir/datasets/abstraction.hpp
include/mimir/datasets/abstraction_interface.hpp
include/mimir/datasets/boost_adapter.hpp
include/mimir/datasets/faithful_abstraction.hpp
include/mimir/datasets/global_faithful_abstraction.hpp
include/mimir/datasets/iterators.hpp
include/mimir/datasets/scc_abstraction.hpp
include/mimir/datasets/state_space.hpp
include/mimir/datasets/transition_interface.hpp
include/mimir/datasets/transition_system_interface.hpp
include/mimir/datasets/transitions.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/transformers/to_positive_normal_form.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/graphs/certificate.hpp
include/mimir/graphs/color.hpp
include/mimir/graphs/color_function.hpp
include/mimir/graphs/digraph.hpp
include/mimir/graphs/digraph_edge_colored.hpp
include/mimir/graphs/digraph_vertex_colored.hpp
include/mimir/graphs/graph.hpp
include/mimir/graphs/graph_edge_interface.hpp
include/mimir/graphs/graph_interface.hpp
include/mimir/graphs/graph_iterators.hpp
include/mimir/graphs/graph_vertex_interface.hpp
include/mimir/graphs/object_graph.hpp
include/mimir/graphs/tuple_graph.hpp
include/mimir/languages/description_logics.hpp
include/mimir/languages/description_logics/README.md
include/mimir/languages/description_logics/constructor_base.hpp
include/mimir/languages/description_logics/constructor_ids.hpp
include/mimir/languages/description_logics/constructor_interface.hpp
include/mimir/languages/description_logics/constructor_repositories.hpp
include/mimir/languages/description_logics/constructors.hpp
include/mimir/languages/description_logics/denotation_repositories.hpp
include/mimir/languages/description_logics/denotations.hpp
include/mimir/languages/description_logics/evaluation_context.hpp
include/mimir/languages/description_logics/generator.hpp
include/mimir/languages/description_logics/grammar.hpp
include/mimir/languages/description_logics/grammar_constructor_interface.hpp
include/mimir/languages/description_logics/grammar_constructors.hpp
include/mimir/languages/description_logics/grammar_visitors_interface.hpp
include/mimir/languages/description_logics/parser/ast.hpp
include/mimir/languages/description_logics/parser/config.hpp
include/mimir/languages/description_logics/parser/error_handler.hpp
include/mimir/languages/description_logics/parser/error_reporting.hpp
include/mimir/languages/description_logics/parser/parser.hpp
include/mimir/languages/description_logics/parser/parser_wrapper.hpp
include/mimir/search/action.hpp
include/mimir/search/algorithms.hpp
include/mimir/search/applicable_action_generators.hpp
include/mimir/search/axiom.hpp
include/mimir/search/axiom_evaluators.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/state.hpp
include/mimir/search/successor_state_generator.hpp
include/mimir/search/translations.hpp
include/mimir/search/algorithms/astar.hpp
include/mimir/search/algorithms/brfs.hpp
include/mimir/search/algorithms/interface.hpp
include/mimir/search/algorithms/iw.hpp
include/mimir/search/algorithms/siw.hpp
include/mimir/search/algorithms/brfs/event_handlers.hpp
include/mimir/search/algorithms/brfs/event_handlers/debug.hpp
include/mimir/search/algorithms/brfs/event_handlers/default.hpp
include/mimir/search/algorithms/brfs/event_handlers/interface.hpp
include/mimir/search/algorithms/brfs/event_handlers/statistics.hpp
include/mimir/search/algorithms/iw/dynamic_novelty_table.hpp
include/mimir/search/algorithms/iw/event_handlers.hpp
include/mimir/search/algorithms/iw/index_mappers.hpp
include/mimir/search/algorithms/iw/pruning_strategy.hpp
include/mimir/search/algorithms/iw/tuple_index_generators.hpp
include/mimir/search/algorithms/iw/types.hpp
include/mimir/search/algorithms/iw/event_handlers/default.hpp
include/mimir/search/algorithms/iw/event_handlers/interface.hpp
include/mimir/search/algorithms/iw/event_handlers/statistics.hpp
include/mimir/search/algorithms/siw/event_handlers.hpp
include/mimir/search/algorithms/siw/goal_strategy.hpp
include/mimir/search/algorithms/siw/event_handlers/default.hpp
include/mimir/search/algorithms/siw/event_handlers/interface.hpp
include/mimir/search/algorithms/siw/event_handlers/statistics.hpp
include/mimir/search/algorithms/strategies/goal_strategy.hpp
include/mimir/search/algorithms/strategies/pruning_strategy.hpp
include/mimir/search/applicable_action_generators/grounded.hpp
include/mimir/search/applicable_action_generators/grounding_utils.hpp
include/mimir/search/applicable_action_generators/interface.hpp
include/mimir/search/applicable_action_generators/lifted.hpp
include/mimir/search/applicable_action_generators/tags.hpp
include/mimir/search/applicable_action_generators/grounded/event_handlers.hpp
include/mimir/search/applicable_action_generators/grounded/match_tree.hpp
include/mimir/search/applicable_action_generators/grounded/event_handlers/debug.hpp
include/mimir/search/applicable_action_generators/grounded/event_handlers/default.hpp
include/mimir/search/applicable_action_generators/grounded/event_handlers/interface.hpp
include/mimir/search/applicable_action_generators/grounded/event_handlers/statistics.hpp
include/mimir/search/applicable_action_generators/lifted/assignment_set.hpp
include/mimir/search/applicable_action_generators/lifted/consistency_graph.hpp
include/mimir/search/applicable_action_generators/lifted/event_handlers.hpp
include/mimir/search/applicable_action_generators/lifted/event_handlers/debug.hpp
include/mimir/search/applicable_action_generators/lifted/event_handlers/default.hpp
include/mimir/search/applicable_action_generators/lifted/event_handlers/interface.hpp
include/mimir/search/applicable_action_generators/lifted/event_handlers/statistics.hpp
include/mimir/search/axiom_evaluators/axiom_evaluator.hpp
include/mimir/search/axiom_evaluators/axiom_stratification.hpp
include/mimir/search/axiom_evaluators/interface.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/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/informed.hpp
include/mimir/search/search_nodes/status.hpp
include/mimir/search/search_nodes/uninformed.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_faithful_abstraction.py
python/tests/datasets/test_global_faithful_abstraction.py
python/tests/datasets/test_state_space.py
python/tests/formalism/test_parser.py
python/tests/search/test_aag.py
python/tests/search/test_brfs.py
python/tests/search/test_ssg.py
src/CMakeLists.txt
src/algorithms/nauty.cpp
src/algorithms/nauty_dense_impl.cpp
src/algorithms/nauty_dense_impl.hpp
src/algorithms/nauty_sparse_impl.cpp
src/algorithms/nauty_sparse_impl.hpp
src/algorithms/nauty_utils.hpp
src/common/kpkc.cpp
src/common/murmurhash3.cpp
src/datasets/faithful_abstraction.cpp
src/datasets/global_faithful_abstraction.cpp
src/datasets/scc_abstraction.cpp
src/datasets/state_space.cpp
src/datasets/transition.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/transformers/to_positive_normal_form.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/graphs/certificate.cpp
src/graphs/color_function.cpp
src/graphs/digraph.cpp
src/graphs/digraph_edge_colored.cpp
src/graphs/digraph_vertex_colored.cpp
src/graphs/object_graph.cpp
src/graphs/tuple_graph.cpp
src/languages/description_logics/constructors.cpp
src/languages/description_logics/grammar.cpp
src/languages/description_logics/grammar_constructors.cpp
src/languages/description_logics/parser.cpp
src/languages/description_logics/parser.hpp
src/languages/description_logics/parser/ast_adapted.hpp
src/languages/description_logics/parser/parser.hpp
src/languages/description_logics/parser/parser_def.hpp
src/languages/description_logics/parser/parser_instantiations.cpp
src/search/action.cpp
src/search/axiom.cpp
src/search/plan.cpp
src/search/state.cpp
src/search/algorithms/iw.cpp
src/search/algorithms/siw.cpp
src/search/algorithms/brfs/event_handlers/debug.cpp
src/search/algorithms/brfs/event_handlers/default.cpp
src/search/algorithms/iw/event_handlers/default.cpp
src/search/algorithms/siw/event_handlers/default.cpp
src/search/algorithms/strategies/goal_strategies.cpp
src/search/algorithms/strategies/pruning_strategy.cpp
src/search/applicable_action_generators/grounded.cpp
src/search/applicable_action_generators/lifted.cpp
src/search/applicable_action_generators/grounded/event_handlers/debug.cpp
src/search/applicable_action_generators/grounded/event_handlers/default.cpp
src/search/applicable_action_generators/lifted/assignment_set.cpp
src/search/applicable_action_generators/lifted/consistency_graph.cpp
src/search/applicable_action_generators/lifted/event_handlers/debug.cpp
src/search/applicable_action_generators/lifted/event_handlers/default.cpp
src/search/axiom_evaluators/axiom_evaluator.cpp
src/search/axiom_evaluators/axiom_stratification.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/integration/dependencies/nauty/CMakeLists.txt
tests/unit/CMakeLists.txt
tests/unit/algorithms/memory_pool.cpp
tests/unit/algorithms/nauty.cpp
tests/unit/common/grouped_vector.cpp
tests/unit/datasets/faithful_abstraction.cpp
tests/unit/datasets/global_faithful_abstraction.cpp
tests/unit/datasets/scc_abstraction.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/graphs/object_graph.cpp
tests/unit/graphs/tuple_graph.cpp
tests/unit/languages/description_logics/grammar.cpp
tests/unit/languages/description_logics/parser.cpp
tests/unit/search/algorithms/brfs.cpp
tests/unit/search/algorithms/iw.cpp
tests/unit/search/applicable_action_generators/dense-grounded.cpp
tests/unit/search/applicable_action_generators/dense-lifted.cpp
tests/unit/search/openlists/priority_queue.cpp
tests/unit/search/planners/single.cpp
tests/unit/search/search_nodes/uninformed.cpp
tests/unit/search/successor_state_generators/dense.cpp