MANIFEST.in
Makefile
pyproject.toml
requirements.txt
setup.py
start_heuristic_splitter.py
cython_nagg/__init__.py
cython_nagg/cython_nagg.py
cython_nagg/generate_head_guesses.py
cython_nagg/generate_justifiability_old_part_preprocessor.py
cython_nagg/generate_satisfiability_part_preprocessor.py
cython_nagg/generate_saturation_justifiability_part_preprocessor.py
cython_nagg/justifiability_type.py
cython_nagg/cython/compile_comparison_combination_part.py
cython_nagg/cython/compile_cython_helpers.py
cython_nagg/cython/compile_function_combination_part.py
cython_nagg/cython/cython_helpers.c
cython_nagg/cython/cython_helpers.cpython-312-x86_64-linux-gnu.so
cython_nagg/cython/cython_helpers.cpython-313-x86_64-linux-gnu.so
cython_nagg/cython/generate_comparison_combination_part.c
cython_nagg/cython/generate_comparison_combination_part.cpython-312-x86_64-linux-gnu.so
cython_nagg/cython/generate_comparison_combination_part.cpython-313-x86_64-linux-gnu.so
cython_nagg/cython/generate_function_combination_part.c
cython_nagg/cython/generate_function_combination_part.cpython-312-x86_64-linux-gnu.so
cython_nagg/cython/generate_function_combination_part.cpython-313-x86_64-linux-gnu.so
cython_nagg/cython/generate_head_guesses_helper_part.c
cython_nagg/cython/generate_head_guesses_helper_part.cpython-312-x86_64-linux-gnu.so
cython_nagg/cython/generate_head_guesses_helper_part.cpython-313-x86_64-linux-gnu.so
cython_nagg/cython/generate_saturation_justification_helper_variables_part.c
cython_nagg/cython/generate_saturation_justification_helper_variables_part.cpython-312-x86_64-linux-gnu.so
cython_nagg/cython/generate_saturation_justification_helper_variables_part.cpython-313-x86_64-linux-gnu.so
cython_nagg/cython/build/lib.linux-x86_64-cpython-312/cython_helpers.cpython-312-x86_64-linux-gnu.so
cython_nagg/cython/build/lib.linux-x86_64-cpython-313/cython_helpers.cpython-313-x86_64-linux-gnu.so
heuristic_splitter/__init__.py
heuristic_splitter/c_output_redirector.c
heuristic_splitter/c_output_redirector.so
heuristic_splitter/compile_get_facts_cython_file.py
heuristic_splitter/domain_inferer.py
heuristic_splitter/domain_transformer.py
heuristic_splitter/get_facts.py
heuristic_splitter/get_facts_cython.c
heuristic_splitter/get_facts_cython.cpython-312-x86_64-linux-gnu.so
heuristic_splitter/get_facts_cython.cpython-313-x86_64-linux-gnu.so
heuristic_splitter/graph_analyzer.py
heuristic_splitter/graph_creator_transformer.py
heuristic_splitter/graph_data_structure.py
heuristic_splitter/grounding_strategy_generator.py
heuristic_splitter/grounding_strategy_handler.py
heuristic_splitter/heuristic.py
heuristic_splitter/heuristic_0.py
heuristic_splitter/heuristic_splitter.py
heuristic_splitter/heuristic_transformer.py
heuristic_splitter/logging_class.py
heuristic_splitter/nagg_domain_connector.py
heuristic_splitter/nagg_domain_connector_transformer.py
heuristic_splitter/variable_graph_structure.py
heuristic_splitter/build/lib.linux-x86_64-cpython-312/heuristic_splitter/get_facts_cython.cpython-312-x86_64-linux-gnu.so
heuristic_splitter/build/lib.linux-x86_64-cpython-313/heuristic_splitter/get_facts_cython.cpython-313-x86_64-linux-gnu.so
heuristic_splitter/cdnl/__init__.py
heuristic_splitter/cdnl/ast_lookup_helper.py
heuristic_splitter/cdnl/cdnl_data_structure.py
heuristic_splitter/cdnl/positive_cycle_transformer.py
heuristic_splitter/cdnl/propagator.py
heuristic_splitter/cdnl/starter.py
heuristic_splitter/enums/__init__.py
heuristic_splitter/enums/cyclic_strategy.py
heuristic_splitter/enums/foundedness_strategy.py
heuristic_splitter/enums/grounding_strategy.py
heuristic_splitter/enums/heuristic_strategy.py
heuristic_splitter/enums/output.py
heuristic_splitter/enums/sota_grounder.py
heuristic_splitter/enums/treewidth_computation_strategy.py
heuristic_splitter/grounding_approximation/__init__.py
heuristic_splitter/grounding_approximation/approximate_generated_bdg_rules.py
heuristic_splitter/grounding_approximation/approximate_generated_bdg_rules_transformer.py
heuristic_splitter/grounding_approximation/approximate_generated_sota_rules.py
heuristic_splitter/grounding_approximation/approximate_generated_sota_rules_transformer.py
heuristic_splitter/grounding_approximation/variable_domain_inference_transformer.py
heuristic_splitter/grounding_approximation/variable_domain_size_inferer.py
heuristic_splitter/program/__init__.py
heuristic_splitter/program/asp_program.py
heuristic_splitter/program/compile_preprocess_smodels_program.py
heuristic_splitter/program/preprocess_smodels_program.c
heuristic_splitter/program/preprocess_smodels_program.cpython-312-x86_64-linux-gnu.so
heuristic_splitter/program/preprocess_smodels_program.cpython-313-x86_64-linux-gnu.so
heuristic_splitter/program/smodels_asp_program.py
heuristic_splitter/program/string_asp_program.py
heuristic_splitter/program/build/lib.linux-x86_64-cpython-312/preprocess_smodels_program.cpython-312-x86_64-linux-gnu.so
heuristic_splitter/program/build/lib.linux-x86_64-cpython-313/heuristic_splitter/program/preprocess_smodels_program.cpython-313-x86_64-linux-gnu.so
heuristic_splitter/program_structures/__init__.py
heuristic_splitter/program_structures/binary_operation.py
heuristic_splitter/program_structures/comparison.py
heuristic_splitter/program_structures/function.py
heuristic_splitter/program_structures/program_ds.py
heuristic_splitter/program_structures/rule.py
nagg/__init__.py
nagg/aggregate_transformer.py
nagg/comparison_tools.py
nagg/cyclic_strategy.py
nagg/default_output_printer.py
nagg/domain_transformer.py
nagg/foundedness_strategy.py
nagg/grounding_modes.py
nagg/main_transformer.py
nagg/misc_tools.py
nagg/nagg.py
nagg/term_transformer.py
nagg/aggregate_strategies/__init__.py
nagg/aggregate_strategies/aggregate_mode.py
nagg/aggregate_strategies/count_aggregate_helper.py
nagg/aggregate_strategies/recursive_mode.py
nagg/aggregate_strategies/replace_aggregate_strategy.py
nagg/aggregate_strategies/rewriting_aggregate_strategy.py
nagg/aggregate_strategies/rewriting_count_helper.py
nagg/aggregate_strategies/rewriting_count_sum.py
nagg/aggregate_strategies/rewriting_min_max.py
nagg/aggregate_strategies/rewriting_sum_helper.py
nagg/aggregate_strategies/rm_case.py
nagg/aggregate_strategies/rs_helper.py
nagg/aggregate_strategies/rs_plus_star_helper.py
nagg/aggregate_strategies/sum_aggregate_helper.py
nagg/main_transformer_helpers/__init__.py
nagg/main_transformer_helpers/generate_foundedness_part.py
nagg/main_transformer_helpers/generate_foundedness_part_comparisons.py
nagg/main_transformer_helpers/generate_foundedness_part_function.py
nagg/main_transformer_helpers/generate_satisfiability_part.py
nagg/main_transformer_helpers/guess_head_part.py
nagg/main_transformer_helpers/helper_part.py
nagg/main_transformer_helpers/level_mappings_part.py
nagg/new_foundedness_helper/__init__.py
nagg/new_foundedness_helper/generate_new_foundedness_part.py
nagg/new_foundedness_helper/helper_part.py
newground.egg-info/PKG-INFO
newground.egg-info/SOURCES.txt
newground.egg-info/dependency_links.txt
newground.egg-info/entry_points.txt
newground.egg-info/top_level.txt