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/abseil/CMakeLists.txt
dependencies/benchmark/CMakeLists.txt
dependencies/boost/CMakeLists.txt
dependencies/clingo/CMakeLists.txt
dependencies/fmt/CMakeLists.txt
dependencies/googletest/CMakeLists.txt
dependencies/loki/CMakeLists.txt
dependencies/nanobind/CMakeLists.txt
dependencies/nauty/CMakeLists.txt
dependencies/pybind11/CMakeLists.txt
exe/CMakeLists.txt
exe/admissible_chain.cpp
exe/knowledge_base.cpp
exe/planner_astar.cpp
exe/planner_astar_mt.cpp
exe/planner_brfs.cpp
exe/planner_iw.cpp
exe/planner_siw.cpp
exe/translator.cpp
include/cista/LICENSE
include/cista/README.md
include/cista/aligned_alloc.h
include/cista/aligned_allocator.h
include/cista/allocator.h
include/cista/bit_counting.h
include/cista/buffer.h
include/cista/chunk.h
include/cista/cista_exception.h
include/cista/containers.h
include/cista/decay.h
include/cista/equal_to.h
include/cista/exception.h
include/cista/hash.h
include/cista/hashing.h
include/cista/indexed.h
include/cista/is_iterable.h
include/cista/logo.svg
include/cista/memory_holder.h
include/cista/mmap.h
include/cista/mode.h
include/cista/next_power_of_2.h
include/cista/offset_t.h
include/cista/serialization.h
include/cista/serialized_size.h
include/cista/strong.h
include/cista/type_traits.h
include/cista/unused_param.h
include/cista/verify.h
include/cista/containers/array.h
include/cista/containers/bitset.h
include/cista/containers/bitvec.h
include/cista/containers/cstring.h
include/cista/containers/dual_dynamic_bitset.h
include/cista/containers/dynamic_bitset.h
include/cista/containers/external_ptr.h
include/cista/containers/flat_matrix.h
include/cista/containers/flexible_index_vector.h
include/cista/containers/fws_multimap.h
include/cista/containers/hash_map.h
include/cista/containers/hash_set.h
include/cista/containers/hash_storage.h
include/cista/containers/mmap_vec.h
include/cista/containers/mutable_fws_multimap.h
include/cista/containers/nvec.h
include/cista/containers/offset_ptr.h
include/cista/containers/optional.h
include/cista/containers/paged.h
include/cista/containers/paged_vecvec.h
include/cista/containers/pair.h
include/cista/containers/ptr.h
include/cista/containers/string.h
include/cista/containers/tuple.h
include/cista/containers/unique_ptr.h
include/cista/containers/variant.h
include/cista/containers/vector.h
include/cista/containers/vecvec.h
include/cista/endian/conversion.h
include/cista/endian/detection.h
include/cista/reflection/arity.h
include/cista/reflection/comparable.h
include/cista/reflection/for_each_field.h
include/cista/reflection/member_index.h
include/cista/reflection/printable.h
include/cista/reflection/to_tuple.h
include/cista/targets/buf.h
include/cista/targets/file.h
include/cista/type_hash/static_type_hash.h
include/cista/type_hash/type_hash.h
include/cista/type_hash/type_name.h
include/mimir/mimir.hpp
include/mimir/algorithms/BS_thread_pool.hpp
include/mimir/algorithms/BS_thread_pool_utils.hpp
include/mimir/algorithms/generator.hpp
include/mimir/algorithms/kpkc.hpp
include/mimir/algorithms/memory_pool.hpp
include/mimir/buffering/byte_buffer_segmented.h
include/mimir/buffering/unordered_set.h
include/mimir/buffering/vector.h
include/mimir/common/arithmetics.hpp
include/mimir/common/bounds.hpp
include/mimir/common/collections.hpp
include/mimir/common/concepts.hpp
include/mimir/common/debug.hpp
include/mimir/common/filesystem.hpp
include/mimir/common/grouped_vector.hpp
include/mimir/common/hash_cista.hpp
include/mimir/common/itertools.hpp
include/mimir/common/memory.hpp
include/mimir/common/printers.hpp
include/mimir/common/timers.hpp
include/mimir/common/types.hpp
include/mimir/common/types_cista.hpp
include/mimir/datasets/class_graph.hpp
include/mimir/datasets/declarations.hpp
include/mimir/datasets/generalized_color_function.hpp
include/mimir/datasets/generalized_state_space.hpp
include/mimir/datasets/knowledge_base.hpp
include/mimir/datasets/object_graph.hpp
include/mimir/datasets/problem_graph.hpp
include/mimir/datasets/state_space.hpp
include/mimir/datasets/tuple_graph.hpp
include/mimir/formalism/action.hpp
include/mimir/formalism/assignment_set.hpp
include/mimir/formalism/assignment_set_utils.hpp
include/mimir/formalism/atom.hpp
include/mimir/formalism/axiom.hpp
include/mimir/formalism/axiom_stratification.hpp
include/mimir/formalism/conjunctive_condition.hpp
include/mimir/formalism/consistency_graph.hpp
include/mimir/formalism/declarations.hpp
include/mimir/formalism/domain.hpp
include/mimir/formalism/domain_builder.hpp
include/mimir/formalism/domain_details.hpp
include/mimir/formalism/effects.hpp
include/mimir/formalism/function.hpp
include/mimir/formalism/function_expressions.hpp
include/mimir/formalism/function_skeleton.hpp
include/mimir/formalism/generalized_problem.hpp
include/mimir/formalism/ground_action.hpp
include/mimir/formalism/ground_atom.hpp
include/mimir/formalism/ground_axiom.hpp
include/mimir/formalism/ground_conjunctive_condition.hpp
include/mimir/formalism/ground_effects.hpp
include/mimir/formalism/ground_function.hpp
include/mimir/formalism/ground_function_expressions.hpp
include/mimir/formalism/ground_function_value.hpp
include/mimir/formalism/ground_literal.hpp
include/mimir/formalism/ground_numeric_constraint.hpp
include/mimir/formalism/grounding_table.hpp
include/mimir/formalism/literal.hpp
include/mimir/formalism/metric.hpp
include/mimir/formalism/numeric_constraint.hpp
include/mimir/formalism/object.hpp
include/mimir/formalism/parser.hpp
include/mimir/formalism/predicate.hpp
include/mimir/formalism/problem.hpp
include/mimir/formalism/problem_builder.hpp
include/mimir/formalism/problem_details.hpp
include/mimir/formalism/repositories.hpp
include/mimir/formalism/requirements.hpp
include/mimir/formalism/tags.hpp
include/mimir/formalism/term.hpp
include/mimir/formalism/translator.hpp
include/mimir/formalism/utils.hpp
include/mimir/formalism/variable.hpp
include/mimir/formalism/translator/delete_relax.hpp
include/mimir/formalism/translator/encode_numeric_constraint_terms_in_functions.hpp
include/mimir/formalism/translator/encode_parameter_index_in_variables.hpp
include/mimir/formalism/translator/interface.hpp
include/mimir/formalism/translator/recursive_base.hpp
include/mimir/formalism/translator/recursive_cached_base.hpp
include/mimir/graphs/declarations.hpp
include/mimir/graphs/dynamic_graph.hpp
include/mimir/graphs/dynamic_graph_decl.hpp
include/mimir/graphs/dynamic_graph_impl.hpp
include/mimir/graphs/dynamic_graph_interface.hpp
include/mimir/graphs/graph_edge_interface.hpp
include/mimir/graphs/graph_edges.hpp
include/mimir/graphs/graph_interface.hpp
include/mimir/graphs/graph_properties.hpp
include/mimir/graphs/graph_traversal_interface.hpp
include/mimir/graphs/graph_vertex_interface.hpp
include/mimir/graphs/graph_vertices.hpp
include/mimir/graphs/static_graph.hpp
include/mimir/graphs/static_graph_decl.hpp
include/mimir/graphs/static_graph_impl.hpp
include/mimir/graphs/static_graph_interface.hpp
include/mimir/graphs/algorithms/color_refinement.hpp
include/mimir/graphs/algorithms/color_refinement_impl.hpp
include/mimir/graphs/algorithms/folklore_weisfeiler_leman.hpp
include/mimir/graphs/algorithms/folklore_weisfeiler_leman_impl.hpp
include/mimir/graphs/algorithms/nauty.hpp
include/mimir/graphs/bgl/graph_adapters.hpp
include/mimir/graphs/bgl/graph_algorithms.hpp
include/mimir/graphs/bgl/graph_traits.hpp
include/mimir/graphs/bgl/property_maps.hpp
include/mimir/graphs/bgl/static_graph_algorithms.hpp
include/mimir/graphs/concrete/digraph.hpp
include/mimir/graphs/concrete/digraph_edge_colored.hpp
include/mimir/graphs/concrete/digraph_vertex_colored.hpp
include/mimir/languages/description_logics.hpp
include/mimir/languages/description_logics/cnf_grammar.hpp
include/mimir/languages/description_logics/cnf_grammar_constructor_interface.hpp
include/mimir/languages/description_logics/cnf_grammar_constructor_repositories.hpp
include/mimir/languages/description_logics/cnf_grammar_constructors.hpp
include/mimir/languages/description_logics/cnf_grammar_sentence_pruning.hpp
include/mimir/languages/description_logics/cnf_grammar_visitor_formatter.hpp
include/mimir/languages/description_logics/cnf_grammar_visitor_interface.hpp
include/mimir/languages/description_logics/cnf_grammar_visitor_sentence_generator.hpp
include/mimir/languages/description_logics/constructor_base.hpp
include/mimir/languages/description_logics/constructor_interface.hpp
include/mimir/languages/description_logics/constructor_keywords.hpp
include/mimir/languages/description_logics/constructor_repositories.hpp
include/mimir/languages/description_logics/constructor_visitor_cnf_grammar.hpp
include/mimir/languages/description_logics/constructor_visitor_formatter.hpp
include/mimir/languages/description_logics/constructor_visitor_grammar.hpp
include/mimir/languages/description_logics/constructor_visitor_interface.hpp
include/mimir/languages/description_logics/constructors.hpp
include/mimir/languages/description_logics/declarations.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/grammar.hpp
include/mimir/languages/description_logics/grammar_constructor_interface.hpp
include/mimir/languages/description_logics/grammar_constructor_repositories.hpp
include/mimir/languages/description_logics/grammar_constructors.hpp
include/mimir/languages/description_logics/grammar_visitor_formatter.hpp
include/mimir/languages/description_logics/grammar_visitor_interface.hpp
include/mimir/languages/description_logics/tags.hpp
include/mimir/languages/general_policies/condition_base.hpp
include/mimir/languages/general_policies/condition_interface.hpp
include/mimir/languages/general_policies/conditions.hpp
include/mimir/languages/general_policies/declarations.hpp
include/mimir/languages/general_policies/effect_base.hpp
include/mimir/languages/general_policies/effect_interface.hpp
include/mimir/languages/general_policies/effects.hpp
include/mimir/languages/general_policies/general_policy.hpp
include/mimir/languages/general_policies/general_policy_decl.hpp
include/mimir/languages/general_policies/general_policy_factory.hpp
include/mimir/languages/general_policies/general_policy_impl.hpp
include/mimir/languages/general_policies/keywords.hpp
include/mimir/languages/general_policies/named_feature.hpp
include/mimir/languages/general_policies/policy_graph.hpp
include/mimir/languages/general_policies/repositories.hpp
include/mimir/languages/general_policies/rule.hpp
include/mimir/languages/general_policies/visitor_formatter.hpp
include/mimir/languages/general_policies/visitor_interface.hpp
include/mimir/languages/general_policies/visitor_null.hpp
include/mimir/languages/policy_sketches/declarations.hpp
include/mimir/languages/policy_sketches/policy_sketch.hpp
include/mimir/search/algorithms.hpp
include/mimir/search/applicability.hpp
include/mimir/search/applicable_action_generators.hpp
include/mimir/search/axiom_evaluators.hpp
include/mimir/search/declarations.hpp
include/mimir/search/delete_relaxed_problem_explorator.hpp
include/mimir/search/dense_state.hpp
include/mimir/search/generalized_search_context.hpp
include/mimir/search/heuristics.hpp
include/mimir/search/metric.hpp
include/mimir/search/openlists.hpp
include/mimir/search/plan.hpp
include/mimir/search/satisficing_binding_generators.hpp
include/mimir/search/search_context.hpp
include/mimir/search/search_node.hpp
include/mimir/search/search_space.hpp
include/mimir/search/state.hpp
include/mimir/search/state_repository.hpp
include/mimir/search/algorithms/astar.hpp
include/mimir/search/algorithms/brfs.hpp
include/mimir/search/algorithms/iw.hpp
include/mimir/search/algorithms/siw.hpp
include/mimir/search/algorithms/utils.hpp
include/mimir/search/algorithms/astar/event_handlers.hpp
include/mimir/search/algorithms/astar/event_handlers/debug.hpp
include/mimir/search/algorithms/astar/event_handlers/default.hpp
include/mimir/search/algorithms/astar/event_handlers/interface.hpp
include/mimir/search/algorithms/astar/event_handlers/statistics.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/event_handlers.hpp
include/mimir/search/algorithms/iw/novelty_table.hpp
include/mimir/search/algorithms/iw/pruning_strategy.hpp
include/mimir/search/algorithms/iw/tuple_index_generators.hpp
include/mimir/search/algorithms/iw/tuple_index_mapper.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/interface.hpp
include/mimir/search/applicable_action_generators/lifted.hpp
include/mimir/search/axiom_evaluators/grounded.hpp
include/mimir/search/axiom_evaluators/interface.hpp
include/mimir/search/axiom_evaluators/lifted.hpp
include/mimir/search/heuristics/blind.hpp
include/mimir/search/heuristics/hstar.hpp
include/mimir/search/heuristics/interface.hpp
include/mimir/search/match_tree/declarations.hpp
include/mimir/search/match_tree/match_tree.hpp
include/mimir/search/match_tree/options.hpp
include/mimir/search/match_tree/statistics.hpp
include/mimir/search/match_tree/construction_helpers/inverse_node_creation.hpp
include/mimir/search/match_tree/construction_helpers/node_creation.hpp
include/mimir/search/match_tree/construction_helpers/split.hpp
include/mimir/search/match_tree/construction_helpers/split_metrics.hpp
include/mimir/search/match_tree/construction_helpers/inverse_nodes/atom.hpp
include/mimir/search/match_tree/construction_helpers/inverse_nodes/generator.hpp
include/mimir/search/match_tree/construction_helpers/inverse_nodes/interface.hpp
include/mimir/search/match_tree/construction_helpers/inverse_nodes/numeric_constraint.hpp
include/mimir/search/match_tree/construction_helpers/inverse_nodes/placeholder.hpp
include/mimir/search/match_tree/node_splitters/base.hpp
include/mimir/search/match_tree/node_splitters/base_impl.hpp
include/mimir/search/match_tree/node_splitters/dynamic.hpp
include/mimir/search/match_tree/node_splitters/interface.hpp
include/mimir/search/match_tree/node_splitters/static.hpp
include/mimir/search/match_tree/nodes/atom.hpp
include/mimir/search/match_tree/nodes/generator.hpp
include/mimir/search/match_tree/nodes/interface.hpp
include/mimir/search/match_tree/nodes/numeric_constraint.hpp
include/mimir/search/openlists/interface.hpp
include/mimir/search/openlists/priority_queue.hpp
include/mimir/search/satisficing_binding_generators/action.hpp
include/mimir/search/satisficing_binding_generators/axiom.hpp
include/mimir/search/satisficing_binding_generators/base.hpp
include/mimir/search/satisficing_binding_generators/base_impl.hpp
include/mimir/search/satisficing_binding_generators/conjunctive_condition.hpp
python/README.md
python/examples/knowledge_base.py
python/src/CMakeLists.txt
python/src/pymimir/__init__.py
python/src/pymimir/bindings.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/src/pymimir/advanced/__init__.py
python/src/pymimir/advanced/init_declarations.hpp
python/src/pymimir/advanced/main.cpp
python/src/pymimir/advanced/common/__init__.py
python/src/pymimir/advanced/common/bindings.cpp
python/src/pymimir/advanced/common/index_grouped_vector.hpp
python/src/pymimir/advanced/datasets/__init__.py
python/src/pymimir/advanced/datasets/bindings.cpp
python/src/pymimir/advanced/datasets/bindings.hpp
python/src/pymimir/advanced/formalism/__init__.py
python/src/pymimir/advanced/formalism/bindings.cpp
python/src/pymimir/advanced/graphs/__init__.py
python/src/pymimir/advanced/graphs/bindings.cpp
python/src/pymimir/advanced/graphs/bindings.hpp
python/src/pymimir/advanced/languages/__init__.py
python/src/pymimir/advanced/languages/description_logics/__init__.py
python/src/pymimir/advanced/languages/description_logics/bindings.cpp
python/src/pymimir/advanced/languages/description_logics/bindings.hpp
python/src/pymimir/advanced/search/__init__.py
python/src/pymimir/advanced/search/bindings.cpp
python/src/pymimir/advanced/stl/span.hpp
python/tests/__init__.py
python/tests/datasets/test_knowledge_base.py
python/tests/formalism/test_parser.py
python/tests/search/test_applicable_action_generator.py
python/tests/search/test_astar_search.py
python/tests/search/test_breadth_first_search.py
python/tests/search/test_condition_grounder.py
python/tests/search/test_state_repository.py
src/CMakeLists.txt
src/algorithms/kpkc.cpp
src/common/filesystem.cpp
src/common/x3/config.hpp
src/common/x3/error_reporting.hpp
src/common/x3/parser_wrapper.hpp
src/datasets/generalized_color_function.cpp
src/datasets/generalized_state_space.cpp
src/datasets/knowledge_base.cpp
src/datasets/object_graph.cpp
src/datasets/state_space.cpp
src/datasets/tuple_graph.cpp
src/datasets/tuple_graph_factory.cpp
src/datasets/tuple_graph_factory.hpp
src/formalism/action.cpp
src/formalism/assignment_set.cpp
src/formalism/atom.cpp
src/formalism/axiom.cpp
src/formalism/axiom_stratification.cpp
src/formalism/conjunctive_condition.cpp
src/formalism/consistency_graph.cpp
src/formalism/domain.cpp
src/formalism/domain_builder.cpp
src/formalism/effects.cpp
src/formalism/formatter.cpp
src/formalism/formatter.hpp
src/formalism/function.cpp
src/formalism/function_expressions.cpp
src/formalism/function_skeleton.cpp
src/formalism/generalized_problem.cpp
src/formalism/ground_action.cpp
src/formalism/ground_atom.cpp
src/formalism/ground_axiom.cpp
src/formalism/ground_conjunctive_condition.cpp
src/formalism/ground_effects.cpp
src/formalism/ground_function.cpp
src/formalism/ground_function_expressions.cpp
src/formalism/ground_function_value.cpp
src/formalism/ground_literal.cpp
src/formalism/ground_numeric_constraint.cpp
src/formalism/literal.cpp
src/formalism/metric.cpp
src/formalism/numeric_constraint.cpp
src/formalism/object.cpp
src/formalism/parser.cpp
src/formalism/predicate.cpp
src/formalism/problem.cpp
src/formalism/problem_builder.cpp
src/formalism/repositories.cpp
src/formalism/requirements.cpp
src/formalism/term.cpp
src/formalism/to_mimir_structures.cpp
src/formalism/to_mimir_structures.hpp
src/formalism/translator.cpp
src/formalism/utils.cpp
src/formalism/variable.cpp
src/formalism/translator/delete_relax.cpp
src/formalism/translator/encode_numeric_constraint_terms_in_functions.cpp
src/formalism/translator/encode_parameter_index_in_variables.cpp
src/graphs/algorithms/color_refinement.cpp
src/graphs/algorithms/nauty.cpp
src/graphs/algorithms/nauty_dense_impl.cpp
src/graphs/algorithms/nauty_dense_impl.hpp
src/graphs/algorithms/nauty_sparse_impl.cpp
src/graphs/algorithms/nauty_sparse_impl.hpp
src/graphs/algorithms/nauty_utils.hpp
src/graphs/concrete/digraph.cpp
src/graphs/concrete/digraph_edge_colored.cpp
src/graphs/concrete/digraph_vertex_colored.cpp
src/languages/description_logics/cnf_grammar.cpp
src/languages/description_logics/cnf_grammar_constructor_repositories.cpp
src/languages/description_logics/cnf_grammar_constructors.cpp
src/languages/description_logics/cnf_grammar_sentence_pruning.cpp
src/languages/description_logics/cnf_grammar_simplification.cpp
src/languages/description_logics/cnf_grammar_simplification.hpp
src/languages/description_logics/cnf_grammar_visitor_formatter.cpp
src/languages/description_logics/cnf_grammar_visitor_interface.cpp
src/languages/description_logics/cnf_grammar_visitor_sentence_generator.cpp
src/languages/description_logics/constructor_repositories.cpp
src/languages/description_logics/constructor_visitor_interface.cpp
src/languages/description_logics/constructor_visitors_cnf_grammar.cpp
src/languages/description_logics/constructor_visitors_formatter.cpp
src/languages/description_logics/constructor_visitors_grammar.cpp
src/languages/description_logics/constructors.cpp
src/languages/description_logics/denotation_repositories.cpp
src/languages/description_logics/evaluation_context.cpp
src/languages/description_logics/grammar.cpp
src/languages/description_logics/grammar_cnf_translator.cpp
src/languages/description_logics/grammar_cnf_translator.hpp
src/languages/description_logics/grammar_constructor_repositories.cpp
src/languages/description_logics/grammar_constructors.cpp
src/languages/description_logics/grammar_parser.cpp
src/languages/description_logics/grammar_parser.hpp
src/languages/description_logics/grammar_visitor_formatter.cpp
src/languages/description_logics/grammar_visitor_interface.cpp
src/languages/description_logics/sentence_parser.cpp
src/languages/description_logics/sentence_parser.hpp
src/languages/description_logics/grammar_parser/parser.hpp
src/languages/description_logics/grammar_parser/parser_def.hpp
src/languages/description_logics/grammar_parser/parser_instantiations.cpp
src/languages/description_logics/parser/ast.hpp
src/languages/description_logics/parser/ast_adapted.hpp
src/languages/description_logics/parser/error_handler.hpp
src/languages/description_logics/sentence_parser/parser.hpp
src/languages/description_logics/sentence_parser/parser_def.hpp
src/languages/description_logics/sentence_parser/parser_instantiations.cpp
src/languages/description_logics/translators/group_rules_by_type.cpp
src/languages/description_logics/translators/normalize_alternatives.cpp
src/languages/general_policies/conditions.cpp
src/languages/general_policies/effects.cpp
src/languages/general_policies/general_policy.cpp
src/languages/general_policies/general_policy_factory.cpp
src/languages/general_policies/named_feature.cpp
src/languages/general_policies/parser.cpp
src/languages/general_policies/parser.hpp
src/languages/general_policies/policy_graph.cpp
src/languages/general_policies/repositories.cpp
src/languages/general_policies/rule.cpp
src/languages/general_policies/visitor_formatter.cpp
src/languages/general_policies/visitor_interface.cpp
src/languages/general_policies/visitor_null.cpp
src/languages/general_policies/parser/ast.hpp
src/languages/general_policies/parser/ast_adapted.hpp
src/languages/general_policies/parser/error_handler.hpp
src/languages/general_policies/parser/parser.hpp
src/languages/general_policies/parser/parser_def.hpp
src/languages/general_policies/parser/parser_instantiations.cpp
src/search/applicability.cpp
src/search/delete_relaxed_problem_explorator.cpp
src/search/dense_state.cpp
src/search/generalized_search_context.cpp
src/search/metric.cpp
src/search/plan.cpp
src/search/search_context.cpp
src/search/state.cpp
src/search/state_repository.cpp
src/search/algorithms/astar.cpp
src/search/algorithms/brfs.cpp
src/search/algorithms/iw.cpp
src/search/algorithms/siw.cpp
src/search/algorithms/astar/event_handlers/debug.cpp
src/search/algorithms/astar/event_handlers/default.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/axiom_evaluators/grounded.cpp
src/search/axiom_evaluators/lifted.cpp
src/search/heuristics/blind.cpp
src/search/heuristics/hstar.cpp
src/search/match_tree/match_tree.cpp
src/search/match_tree/statistics.cpp
src/search/match_tree/construction_helpers/inverse_node_creation.cpp
src/search/match_tree/construction_helpers/node_creation.cpp
src/search/match_tree/construction_helpers/split.cpp
src/search/match_tree/construction_helpers/split_metric.cpp
src/search/match_tree/construction_helpers/inverse_nodes/atom.cpp
src/search/match_tree/construction_helpers/inverse_nodes/generator.cpp
src/search/match_tree/construction_helpers/inverse_nodes/interface.cpp
src/search/match_tree/construction_helpers/inverse_nodes/numeric_constraint.cpp
src/search/match_tree/construction_helpers/inverse_nodes/placeholder.cpp
src/search/match_tree/node_splitters/dynamic.cpp
src/search/match_tree/node_splitters/static.cpp
src/search/match_tree/nodes/atom.cpp
src/search/match_tree/nodes/generator.cpp
src/search/match_tree/nodes/interface.cpp
src/search/match_tree/nodes/numeric_constraint.cpp
src/search/satisficing_binding_generator/action.cpp
src/search/satisficing_binding_generator/axiom.cpp
src/search/satisficing_binding_generator/conjunctive_condition.cpp
tests/CMakeLists.txt
tests/integration/CMakeLists.txt
tests/integration/README.md
tests/integration/main.cpp
tests/integration/dependencies/CMakeLists.txt
tests/integration/dependencies/abseil/CMakeLists.txt
tests/integration/dependencies/boost/CMakeLists.txt
tests/integration/dependencies/clingo/CMakeLists.txt
tests/integration/dependencies/fmt/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/generator.cpp
tests/unit/algorithms/itertools.cpp
tests/unit/algorithms/memory_pool.cpp
tests/unit/algorithms/nauty.cpp
tests/unit/cista/dual_dynamic_bitset.cpp
tests/unit/cista/dynamic_bitset.cpp
tests/unit/cista/flexible_index_vector.cpp
tests/unit/cista/optional.cpp
tests/unit/common/grouped_vector.cpp
tests/unit/datasets/knowledge_base.cpp
tests/unit/datasets/object_graph.cpp
tests/unit/formalism/translator.cpp
tests/unit/graphs/dynamic_graph.cpp
tests/unit/graphs/static_graph.cpp
tests/unit/graphs/algorithms/color_refinement.cpp
tests/unit/graphs/algorithms/folklore_weisfeiler_leman.cpp
tests/unit/graphs/bgl/graph_adapters.cpp
tests/unit/graphs/bgl/graph_algorithms.cpp
tests/unit/graphs/bgl/static_graph_algorithms.cpp
tests/unit/languages/description_logics/cnf_grammar.cpp
tests/unit/languages/description_logics/cnf_grammar_visitor_sentence_generator.cpp
tests/unit/languages/description_logics/constructors.cpp
tests/unit/languages/description_logics/grammar.cpp
tests/unit/languages/general_policies/general_policy.cpp
tests/unit/search/search_node.cpp
tests/unit/search/state_repository.cpp
tests/unit/search/algorithms/astar.cpp
tests/unit/search/algorithms/brfs.cpp
tests/unit/search/algorithms/iw.cpp
tests/unit/search/algorithms/siw.cpp
tests/unit/search/applicable_action_generators/grounded.cpp
tests/unit/search/applicable_action_generators/lifted.cpp
tests/unit/search/openlists/priority_queue.cpp