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/googletest/CMakeLists.txt
dependencies/loki/CMakeLists.txt
dependencies/nauty/CMakeLists.txt
dependencies/pybind11/CMakeLists.txt
exe/CMakeLists.txt
exe/admissible_chain.cpp
exe/gfa.cpp
exe/planner_astar.cpp
exe/planner_brfs.cpp
exe/planner_iw.cpp
exe/planner_siw.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/dynamic_bitset.h
include/cista/containers/flat_matrix.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/storage/byte_buffer_segmented.h
include/cista/storage/unordered_set.h
include/cista/storage/vector.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/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/equal_to.hpp
include/mimir/common/grouped_vector.hpp
include/mimir/common/hash.hpp
include/mimir/common/hash_cista.hpp
include/mimir/common/itertools.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/abstraction.hpp
include/mimir/datasets/declarations.hpp
include/mimir/datasets/faithful_abstraction.hpp
include/mimir/datasets/global_faithful_abstraction.hpp
include/mimir/datasets/ground_action_edge.hpp
include/mimir/datasets/ground_actions_edge.hpp
include/mimir/datasets/state_space.hpp
include/mimir/datasets/state_vertex.hpp
include/mimir/formalism/action.hpp
include/mimir/formalism/atom.hpp
include/mimir/formalism/axiom.hpp
include/mimir/formalism/declarations.hpp
include/mimir/formalism/domain.hpp
include/mimir/formalism/effects.hpp
include/mimir/formalism/equal_to.hpp
include/mimir/formalism/factories.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/hash.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/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/utils.hpp
include/mimir/formalism/variable.hpp
include/mimir/formalism/transformers/base_cached_recurse.hpp
include/mimir/formalism/transformers/base_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/boost_adapter_utils.hpp
include/mimir/graphs/color_function.hpp
include/mimir/graphs/declarations.hpp
include/mimir/graphs/digraph.hpp
include/mimir/graphs/digraph_edge_colored.hpp
include/mimir/graphs/digraph_vertex_colored.hpp
include/mimir/graphs/dynamic_graph.hpp
include/mimir/graphs/dynamic_graph_interface.hpp
include/mimir/graphs/dynamic_graph_iterators.hpp
include/mimir/graphs/graph_edge_interface.hpp
include/mimir/graphs/graph_edges.hpp
include/mimir/graphs/graph_interface.hpp
include/mimir/graphs/graph_traversal_interface.hpp
include/mimir/graphs/graph_vertex_interface.hpp
include/mimir/graphs/graph_vertices.hpp
include/mimir/graphs/object_graph.hpp
include/mimir/graphs/object_graph_pruning_strategy.hpp
include/mimir/graphs/static_graph.hpp
include/mimir/graphs/static_graph_boost_adapter.hpp
include/mimir/graphs/static_graph_interface.hpp
include/mimir/graphs/static_graph_iterators.hpp
include/mimir/graphs/tuple_graph.hpp
include/mimir/graphs/algorithms/color_refinement.hpp
include/mimir/graphs/algorithms/folklore_weisfeiler_leman.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_category.hpp
include/mimir/languages/description_logics/constructor_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/equal_to.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.hpp
include/mimir/languages/description_logics/grammar_visitors_interface.hpp
include/mimir/languages/description_logics/hash.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/condition_grounders.hpp
include/mimir/search/declarations.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_node.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/interface.hpp
include/mimir/search/algorithms/iw.hpp
include/mimir/search/algorithms/siw.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/dynamic_novelty_table.hpp
include/mimir/search/algorithms/iw/event_handlers.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/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/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/axiom_evaluator.hpp
include/mimir/search/applicable_action_generators/lifted/axiom_stratification.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/condition_grounders/conjunction_grounder.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/hstar.hpp
include/mimir/search/heuristics/interface.hpp
include/mimir/search/openlists/interface.hpp
include/mimir/search/openlists/priority_queue.hpp
include/mimir/search/planners/interface.hpp
include/mimir/search/planners/single.hpp
include/mimir/utils/utils.hpp
python/src/CMakeLists.txt
python/src/pymimir/__init__.py
python/src/pymimir/bindings.cpp
python/src/pymimir/hints.py
python/src/pymimir/init_declarations.hpp
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_applicable_action_generator.py
python/tests/search/test_astar_search.py
python/tests/search/test_breadth_first_search.py
python/tests/search/test_conjunction_grounder.py
python/tests/search/test_state_repository.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/state_space.cpp
src/formalism/action.cpp
src/formalism/atom.cpp
src/formalism/axiom.cpp
src/formalism/domain.cpp
src/formalism/effects.cpp
src/formalism/equal_to.cpp
src/formalism/factories.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/ground_atom.cpp
src/formalism/ground_function.cpp
src/formalism/ground_function_expressions.cpp
src/formalism/ground_literal.cpp
src/formalism/hash.cpp
src/formalism/literal.cpp
src/formalism/metric.cpp
src/formalism/numeric_fluent.cpp
src/formalism/object.cpp
src/formalism/parser.cpp
src/formalism/predicate.cpp
src/formalism/problem.cpp
src/formalism/requirements.cpp
src/formalism/term.cpp
src/formalism/utils.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/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/object_graph_pruning_strategy.cpp
src/graphs/tuple_graph.cpp
src/graphs/algorithms/color_refinement.cpp
src/languages/description_logics/constructors.cpp
src/languages/description_logics/denotation_repositories.cpp
src/languages/description_logics/equal_to.cpp
src/languages/description_logics/evaluation_context.cpp
src/languages/description_logics/generator.cpp
src/languages/description_logics/grammar.cpp
src/languages/description_logics/grammar_constructors.cpp
src/languages/description_logics/grammar_visitors.cpp
src/languages/description_logics/hash.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/condition_grounders.cpp
src/search/plan.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/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/axiom_evaluator.cpp
src/search/applicable_action_generators/lifted/axiom_stratification.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/condition_grounders/conjunction_grounder.cpp
src/search/heuristics/hstar.cpp
src/search/planners/single.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/fmt/CMakeLists.txt
tests/integration/dependencies/loki/CMakeLists.txt
tests/integration/dependencies/mimir/CMakeLists.txt
tests/integration/dependencies/nauty/CMakeLists.txt
tests/python/CMakeLists.txt
tests/python/fixture.hpp
tests/python/main_tests.cpp
tests/python/test_bindings.cpp
tests/unit/CMakeLists.txt
tests/unit/algorithms/memory_pool.cpp
tests/unit/algorithms/nauty.cpp
tests/unit/cista/dynamic_bitset.cpp
tests/unit/common/grouped_vector.cpp
tests/unit/datasets/faithful_abstraction.cpp
tests/unit/datasets/global_faithful_abstraction.cpp
tests/unit/datasets/state_space.cpp
tests/unit/formalism/transformers/to_positive_normal_form.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/dynamic_graph.cpp
tests/unit/graphs/object_graph.cpp
tests/unit/graphs/object_graph_pruning_strategy.cpp
tests/unit/graphs/static_graph.cpp
tests/unit/graphs/static_graph_boost_adapter.cpp
tests/unit/graphs/tuple_graph.cpp
tests/unit/graphs/algorithms/color_refinement.cpp
tests/unit/graphs/algorithms/folklore_weisfeiler_leman.cpp
tests/unit/languages/description_logics/constructors.cpp
tests/unit/languages/description_logics/grammar.cpp
tests/unit/languages/description_logics/parser.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
tests/unit/search/planners/single.cpp