cython_nagg/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
cython_nagg/cython_nagg.py,sha256=NCj_a4nZSb3Nuplz_-eiHAfkeXC6Sege41X-nsUNVD0,10047
cython_nagg/generate_head_guesses.py,sha256=VKkuJ0JeNhO4WSnpxY0XNCANaKrRKTmlmtbMv2CWpLg,14543
cython_nagg/generate_justifiability_old_part_preprocessor.py,sha256=AAnqf1eR28kDTSj4bhFuUucWx0RUB8xpNUJiwXFPyCM,26368
cython_nagg/generate_satisfiability_part_preprocessor.py,sha256=g98PZmcDDvD18IAYqpRkB0i2p4_IdyIeMJ9LAuXddvE,13202
cython_nagg/generate_saturation_justifiability_part_preprocessor.py,sha256=3yNU-bCmy955dn1-rsm_6PaC0sqIYa_xjciJDeRVf5M,20120
cython_nagg/justifiability_type.py,sha256=LU4Rc8Q8FT0sUo9UDeo7EaoyZVu4kH6M1GF8tN9Blsw,155
cython_nagg/cython/compile_comparison_combination_part.py,sha256=furackini8fGLn3DvM89a2MV27ldEFqIkFsswi1sGOo,156
cython_nagg/cython/compile_cython_helpers.py,sha256=GaTwqcDh7KrFntP1howY6eQ0qN8VLzG89QpRrx9ioRw,135
cython_nagg/cython/compile_function_combination_part.py,sha256=7nRgB0DWv9MQt4fNZe6QeseLztgYG4HR2mZU1S6Nw48,154
cython_nagg/cython/cython_helpers.c,sha256=-F5qY8QiPvYQLHQDB-TmBJazSjMMDZlLJG9CGeqxIJ0,281403
cython_nagg/cython/cython_helpers.cpython-312-x86_64-linux-gnu.so,sha256=2WYdBl6PZQdNWmUYU1mSCmTe28phC_9wx_v1RDvA9ew,58896
cython_nagg/cython/cython_helpers.cpython-313-x86_64-linux-gnu.so,sha256=6xp4rzik3boFE8QX53Z45R-XE4rpG4rxDoKb6_4ICKU,54480
cython_nagg/cython/generate_comparison_combination_part.c,sha256=x1tzg6l5BLVamBkUPfD18BYbD-EvzttWgNXM3ANd79s,420285
cython_nagg/cython/generate_comparison_combination_part.cpython-312-x86_64-linux-gnu.so,sha256=ttkQ9iApWp3YUkcish0KxuhJl2JN7SY2R7_zCGSxGOE,83384
cython_nagg/cython/generate_comparison_combination_part.cpython-313-x86_64-linux-gnu.so,sha256=sGCGjVsn_YE9ZjaR9w54449XtM0jpZC4rDC3Rb9pSOE,83216
cython_nagg/cython/generate_function_combination_part.c,sha256=J1Uymadbf6tJk4j4a0vaxOZbpbC53IrvVOktMKmQG0o,325715
cython_nagg/cython/generate_function_combination_part.cpython-312-x86_64-linux-gnu.so,sha256=nDbZdb1hWcIeRbprV-HWA3kcsLnHtgKKCfi2PKMq_5k,69096
cython_nagg/cython/generate_function_combination_part.cpython-313-x86_64-linux-gnu.so,sha256=tfcUxEt_84a4c0_nN7vfWOwC99TToVDFml6LtKlASnw,68864
cython_nagg/cython/generate_head_guesses_helper_part.c,sha256=t_KRVKr8XFMFVQdKVdgJwux-hjIKzSczurejcaBWKGI,341434
cython_nagg/cython/generate_head_guesses_helper_part.cpython-312-x86_64-linux-gnu.so,sha256=jF4nHjQQwmPfnIVfl7Z-e9NF3avFLijM7Rp4jBmwQ6M,73712
cython_nagg/cython/generate_head_guesses_helper_part.cpython-313-x86_64-linux-gnu.so,sha256=XB16JE4xNxDE_jKVh0di5Z-UrEHrfWMiqbegQIti2F4,73472
cython_nagg/cython/generate_saturation_justification_helper_variables_part.c,sha256=B5gJQzq4B85WMuJB0rB8OMGCtxtUadd7DoIW_dtONHY,359860
cython_nagg/cython/generate_saturation_justification_helper_variables_part.cpython-312-x86_64-linux-gnu.so,sha256=e0m6ZO2cOMpyllEmB7AREgy3koIh4h4FbAIKn9qZYr4,73992
cython_nagg/cython/generate_saturation_justification_helper_variables_part.cpython-313-x86_64-linux-gnu.so,sha256=ozufPTZBQzXzHgPJD7l9Fo7bYziBsIwCiL2zZWfw78M,73760
cython_nagg/cython/build/lib.linux-x86_64-cpython-312/cython_helpers.cpython-312-x86_64-linux-gnu.so,sha256=2WYdBl6PZQdNWmUYU1mSCmTe28phC_9wx_v1RDvA9ew,58896
cython_nagg/cython/build/lib.linux-x86_64-cpython-313/cython_helpers.cpython-313-x86_64-linux-gnu.so,sha256=6xp4rzik3boFE8QX53Z45R-XE4rpG4rxDoKb6_4ICKU,54480
heuristic_splitter/__init__.py,sha256=acJ8yRpCD5-Td5dQa2f-sYW-4iR2NTfVb517JRirTFw,10264
heuristic_splitter/c_output_redirector.c,sha256=zrFLlIwUq_pGepAgEowGgXYuormMKVUxENI8NFapLb4,2306
heuristic_splitter/c_output_redirector.so,sha256=fkVu8_CYcl6mo7GrC8zDW85-BUBsG5ERAyInQSjlAPo,16192
heuristic_splitter/compile_get_facts_cython_file.py,sha256=9rXHnL-QX2F1NAZ4E_aXAvOLKHM8-CncQ6jW9nq0OC4,135
heuristic_splitter/domain_inferer.py,sha256=xYlPnme3sedgBPYoNHEPWpgs4GjVwEoplZQ7RUdFeus,5698
heuristic_splitter/domain_transformer.py,sha256=HUkPMfjy0pH18I5rjqDk1ZGoQpBkdhMJ01DukLIn_Cg,7754
heuristic_splitter/get_facts.py,sha256=WuGDZUKpHOuA4jQwRo2M1IN9v93GUV3tbCTlqF5ifJM,2295
heuristic_splitter/get_facts_cython.c,sha256=BAIoPH-ZxhQsucs9NbXLDKeFz1B_TekbQx9Py6oao64,488476
heuristic_splitter/get_facts_cython.cpython-312-x86_64-linux-gnu.so,sha256=l4FA13cQ00kuBaaXGASlo7s7c3lisp0G8ExQxkIuujc,86728
heuristic_splitter/get_facts_cython.cpython-313-x86_64-linux-gnu.so,sha256=2hX2egYlLYPcTm9T3tVFWWUZCrv-ERz0Lp6H5buRTho,86448
heuristic_splitter/graph_analyzer.py,sha256=f8jdpMvP5uJfdii-0Aw0b0vtXOFuQy0hXPurpJWzIao,2595
heuristic_splitter/graph_creator_transformer.py,sha256=MMGrS1nr2DkWmBZwwdHOJZHmi5Akii-1SD-fwETMunw,18256
heuristic_splitter/graph_data_structure.py,sha256=fshW-MvRA8znHF-9HrcxBIvryBZflJIVqrYn4SzMTXg,4678
heuristic_splitter/grounding_strategy_generator.py,sha256=2ie2tpBM49jUhncgan5tetuYpczDykScXq5jXNAXydg,20147
heuristic_splitter/grounding_strategy_handler.py,sha256=LKWrosOAtlGnrn7WJpavzsTVkzarVXFrCtRiCGbwGzE,37881
heuristic_splitter/heuristic.py,sha256=l-0Nu5H8S2KCYKeEVPYStoBsEvShkikOAFCQOpYAjmI,1226
heuristic_splitter/heuristic_0.py,sha256=42_CIg3hrM0f4uoo4S7344GvsPOjLOAPNo1PxCoDDH4,6036
heuristic_splitter/heuristic_splitter.py,sha256=QMzg8_bigMEUdA5bkRKDoNvWmBvK8PdeBM03JubAzAc,25112
heuristic_splitter/heuristic_transformer.py,sha256=dEF43zqpYLVgr10ZimT5rBorfZY2yx1yQVJT3Su5hLU,18399
heuristic_splitter/logging_class.py,sha256=TGOZ9vevu96SsJVv9WsmZ2uGn9uwDpv0YzpGIjDSU5M,3012
heuristic_splitter/nagg_domain_connector.py,sha256=zAiLZ8LKosduSANyTjLoALnMIt2yolbapl5Luu0smaM,1232
heuristic_splitter/nagg_domain_connector_transformer.py,sha256=8nOnP1Fjeto0bq4D_ksD6i7niOaXtMEVeJB1pGRO0EU,7424
heuristic_splitter/variable_graph_structure.py,sha256=v0-5k1mf9-q6vdix7WkpsdZfzmP7U6GfzwvYIECayyk,6692
heuristic_splitter/build/lib.linux-x86_64-cpython-312/heuristic_splitter/get_facts_cython.cpython-312-x86_64-linux-gnu.so,sha256=l4FA13cQ00kuBaaXGASlo7s7c3lisp0G8ExQxkIuujc,86728
heuristic_splitter/build/lib.linux-x86_64-cpython-313/heuristic_splitter/get_facts_cython.cpython-313-x86_64-linux-gnu.so,sha256=2hX2egYlLYPcTm9T3tVFWWUZCrv-ERz0Lp6H5buRTho,86448
heuristic_splitter/cdnl/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
heuristic_splitter/cdnl/ast_lookup_helper.py,sha256=xcUmbF-PioWIeUgSsZy85oRyRk6t18Or7uOkpzOKmRs,193
heuristic_splitter/cdnl/cdnl_data_structure.py,sha256=d06uzztCef411xbNSG4HDvOT6Hikteutd4W1O6tRPd0,194
heuristic_splitter/cdnl/positive_cycle_transformer.py,sha256=wkMPQzK2xpbW19VKYsCLEZQNtob2Qd00ScYC49SCod4,3014
heuristic_splitter/cdnl/propagator.py,sha256=Y7PJ0w7D6n5S7Yns5SOyly-77dFUmwQSpSCquDOQ0XM,23263
heuristic_splitter/cdnl/starter.py,sha256=AS9c7PhOWRTyRSewHYktNCWX5evn_yuaKqtJ7tPng0A,1036
heuristic_splitter/enums/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
heuristic_splitter/enums/cyclic_strategy.py,sha256=TCR84oRmWzqRjxJ6zZwopoWN8Pad0UQwIlgsb8-4k1w,189
heuristic_splitter/enums/foundedness_strategy.py,sha256=Yj6Tn5zciaR0vq9ovzKrOEmuQrumcFbh29KHldrr8A0,254
heuristic_splitter/enums/grounding_strategy.py,sha256=fZKF0fXZHJR19WfaOEn-92Cgn0k-i9LIq5_bIG5DnOs,183
heuristic_splitter/enums/heuristic_strategy.py,sha256=G8LfWXo2mr2d9Hj0PQXprX5hyVvyHaCpFZp52K4GNCg,160
heuristic_splitter/enums/output.py,sha256=u8B31LiO41zLDBGen-8soOqAzQdclyM_CHYNhl7bxio,129
heuristic_splitter/enums/sota_grounder.py,sha256=KZwth-APxcKxGYfXFuaY4gGXi3J_nf6Kro4dJZ-Q1jw,141
heuristic_splitter/enums/treewidth_computation_strategy.py,sha256=iEtJasYdJchBSmpyWgLYQI-OcvgTTZvdV4mJn3nC4wM,173
heuristic_splitter/grounding_approximation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
heuristic_splitter/grounding_approximation/approximate_generated_bdg_rules.py,sha256=Q3jZBBEpuWibre7G43G3nHQs3LtHDdzk-gX4FitwR98,7201
heuristic_splitter/grounding_approximation/approximate_generated_bdg_rules_transformer.py,sha256=yqO00gUA88Ex6YqV1FLFfX4MjukhXiAiS2PtMW5w9NI,10664
heuristic_splitter/grounding_approximation/approximate_generated_sota_rules.py,sha256=GmZIuof3UaHOY9EF19oRJMr15PRyF4oMoYOaSpGtqh0,5639
heuristic_splitter/grounding_approximation/approximate_generated_sota_rules_transformer.py,sha256=uhiHpFnq40f_pzfAOQM90biv3Yin7t4yQaPbRA8l0Mo,8553
heuristic_splitter/grounding_approximation/variable_domain_inference_transformer.py,sha256=G-wbSmWeYVbQ9AKD3NX5lzjBTeP9AJkXjex8N7Ie3Zk,5286
heuristic_splitter/grounding_approximation/variable_domain_size_inferer.py,sha256=jpRH9OkWFlPpeHFEEJzbfkBE3TmEXwlL7Rc0qdRwbow,2946
heuristic_splitter/program/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
heuristic_splitter/program/asp_program.py,sha256=IPM0pFzRwOYPI3hF5KOIYRm9iI9IskW2bClu1mgEhZs,117
heuristic_splitter/program/compile_preprocess_smodels_program.py,sha256=dIsP517TQSWMVvZVc27AqKsQU-OrwMzLnkVjOqc7ZnQ,146
heuristic_splitter/program/preprocess_smodels_program.c,sha256=_9A5jpflYXGxtjwyDyVT3zJ-ZlfCRL3WV9EJVxk3NgU,560336
heuristic_splitter/program/preprocess_smodels_program.cpython-312-x86_64-linux-gnu.so,sha256=PKuNy1VoL7OWSMBYo4xbZCMD7GJlT4X2Rf1JUGk8jik,130608
heuristic_splitter/program/preprocess_smodels_program.cpython-313-x86_64-linux-gnu.so,sha256=TTg3w3S4GwVWyKp9acJpkXboPUQENRfDSILsO53Gn9o,130576
heuristic_splitter/program/smodels_asp_program.py,sha256=NuenVMHtqWb0RkynzD16QGKiTr6Zhc2YZBzWZNl5Xy0,16030
heuristic_splitter/program/string_asp_program.py,sha256=O-csO1bTyYf-mIDQl4qJ4cTglRu1vqyBHlyGErLoraQ,370
heuristic_splitter/program/build/lib.linux-x86_64-cpython-312/preprocess_smodels_program.cpython-312-x86_64-linux-gnu.so,sha256=PKuNy1VoL7OWSMBYo4xbZCMD7GJlT4X2Rf1JUGk8jik,130608
heuristic_splitter/program/build/lib.linux-x86_64-cpython-313/heuristic_splitter/program/preprocess_smodels_program.cpython-313-x86_64-linux-gnu.so,sha256=TTg3w3S4GwVWyKp9acJpkXboPUQENRfDSILsO53Gn9o,130576
heuristic_splitter/program_structures/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
heuristic_splitter/program_structures/binary_operation.py,sha256=TJAb3898xhs1oz3gTZUwCvTh-4LDMMWgIzvox70RUcQ,429
heuristic_splitter/program_structures/comparison.py,sha256=wbe5ud4qWy06Gd7672gFl8MOfdcOBJ1FZO12H2nV95o,517
heuristic_splitter/program_structures/function.py,sha256=fb5MfZE2QtZhwNL_txBN6VKAfH249h-Udn3sSX1-Wis,730
heuristic_splitter/program_structures/program_ds.py,sha256=wmqyACWZ6YP6kBm8BclxU2yldhQWSjEPXR1wiYJ4G3U,98
heuristic_splitter/program_structures/rule.py,sha256=tQs2f3HTwI_-5EMU3aOjh0BETND6e6J1mHPhHpEhZqM,1265
nagg/__init__.py,sha256=CHId9rZkNH7FWUsRHe-xrSrEUSxHYg8TPINqYxU-MZM,5051
nagg/aggregate_transformer.py,sha256=DF45f2511920YvRJTjSPwqVkZphmhnD7Fau36mE6TlY,14877
nagg/comparison_tools.py,sha256=5-K399Hh7jNVse-6zl_3eGW4WBO8iVcRQkHZ1-j_1qA,17391
nagg/cyclic_strategy.py,sha256=JJTN8vfKpVlphWLacEKoDrT_G-ThUN1n19SzZpqvocc,265
nagg/default_output_printer.py,sha256=N-KifuBLlHj2F3kZNXx2TAq1EYmZDDRik_mIEw_8diU,774
nagg/domain_transformer.py,sha256=6uDJoLMJv7BREaV1smtX28E2IQN8AOzKYdfeGaxBcZY,13011
nagg/foundedness_strategy.py,sha256=8-VnHpcTy_R6k1IuZHrgiRcKzQVLdrfgTQF4S7JUiWM,214
nagg/grounding_modes.py,sha256=9COIQ2qu1AwZhAvqltSxD24yVH3rVSk-ePQy335Mjc0,299
nagg/main_transformer.py,sha256=qLRU1JPXbITTWxyIyzIYcx6zKFi6hXR1je4V0OG4jkk,20305
nagg/misc_tools.py,sha256=exevkI6wFcqhV2-LhxK3-3mV8z4wqii8q2KBhBsnXqo,591
nagg/nagg.py,sha256=KuY_OHh4ZwOAUHSPDuDfXapwh4zjDLszjgo-xV29TPg,20327
nagg/term_transformer.py,sha256=18Vs1uYACwxjvZ8uhx6lv00agR374PGQlQygIk63UlQ,18832
nagg/aggregate_strategies/__init__.py,sha256=Z_DRbsgQwHp_4mBr4m49PP4havCfbcGR6TVcYiNFtCk,68
nagg/aggregate_strategies/aggregate_mode.py,sha256=8xTcHfcfO0Wi9ROZeLJEYUmcaAs0yXUtCKMuzL3pF5Y,292
nagg/aggregate_strategies/count_aggregate_helper.py,sha256=EcVeFh6ZfNKxu1zYh41k1EZd7yRlKe2zNDjGOO6S5Qo,2664
nagg/aggregate_strategies/recursive_mode.py,sha256=dp7KRL9YgsuMRVPo0-Xsg2l_jkwp1xmg4AHrtAHBbrE,14628
nagg/aggregate_strategies/replace_aggregate_strategy.py,sha256=Bf3wgy1j9MriOwG-0MOjAC0AYE7yl1FdBNx0N39Hdxc,3023
nagg/aggregate_strategies/rewriting_aggregate_strategy.py,sha256=X--BjUkgwKZBW5MZYejaeOcf-d9SmpWUfzUtumzKCOo,8981
nagg/aggregate_strategies/rewriting_count_helper.py,sha256=obaynBtvN7yLbhbQ8BWaHn3AC1nmdjliL72GI4-u5oU,2724
nagg/aggregate_strategies/rewriting_count_sum.py,sha256=1JY457mJzGtD3GL3kodn7wLdOxAsbJUmZF7pU1rcVEw,25673
nagg/aggregate_strategies/rewriting_min_max.py,sha256=MrzHtmZe4hpcnhyEUNzYEBfNU2djh_nqPTm_OxrnlfY,16097
nagg/aggregate_strategies/rewriting_sum_helper.py,sha256=ObSxcGUKaTBt5Xdkk4YPzwcTJBhDXEvsD7v-lK_lZ_M,3371
nagg/aggregate_strategies/rm_case.py,sha256=LyLzaxiV29WCayBpd1UN2TQGD9IIa5Yv5L8vJIZS2Ns,4138
nagg/aggregate_strategies/rs_helper.py,sha256=UKBYjDa8yYZ7aopXBgG05GfZyrdsGw22vMuejVU58Fk,4970
nagg/aggregate_strategies/rs_plus_star_helper.py,sha256=D8WMHCp2j-OY1i5a7k3X2iEpbdkWks3hF341Ud8YiHc,9773
nagg/aggregate_strategies/sum_aggregate_helper.py,sha256=IkDqhoas3F6clLydjmkU32WWQWa9ZMuRin8Uiv2Gj_8,917
nagg/main_transformer_helpers/__init__.py,sha256=c_Kzl0eLMRRL4Pw7trcOv4QhE95Ibj-Fi1o6tnwvHXU,27
nagg/main_transformer_helpers/generate_foundedness_part.py,sha256=5DCYk1Yomh6CayLNXgya8Vfujp8pGose8x9XhHZIwKo,18311
nagg/main_transformer_helpers/generate_foundedness_part_comparisons.py,sha256=8euQj_dIsnX-jdX5av3ioqwgkd94WiHsf4GLeQLfA9c,11899
nagg/main_transformer_helpers/generate_foundedness_part_function.py,sha256=ULlqA2b1hBBH8GcoaRetD9aiKE_PehYpFHNmbP6XUM8,14328
nagg/main_transformer_helpers/generate_satisfiability_part.py,sha256=sdwh_l100kR5hNIrFopK0-akts-BxMLSTZhAXs_g-7Q,12344
nagg/main_transformer_helpers/guess_head_part.py,sha256=Vxkw8afggiNLMt4kjLqQOsh5YcIhYtMJfpzKf0Ou9Pw,11529
nagg/main_transformer_helpers/helper_part.py,sha256=T5lOGD7miny7lsfKNflaBJgGQkbhZWPIbbRjOUqKajw,8572
nagg/main_transformer_helpers/level_mappings_part.py,sha256=c3QUk2WAFv-LMb3rFOlCErFlBejvX0AkamfICPi8wDE,11928
nagg/new_foundedness_helper/__init__.py,sha256=_gAzJlP4eKWruLFygrmFANIKD9C_TyWFdizlsuv5jt4,43
nagg/new_foundedness_helper/generate_new_foundedness_part.py,sha256=oQL9UqAe8apDpqS3D-hBahb8Rvy5yKF1Vq-HNVxH6wA,21847
nagg/new_foundedness_helper/helper_part.py,sha256=T5lOGD7miny7lsfKNflaBJgGQkbhZWPIbbRjOUqKajw,8572
newground-3.0.8.dist-info/METADATA,sha256=fQN06BSspTxihBC9YjA37aO1PGctXFId5VmU-_Cg5r8,53
newground-3.0.8.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
newground-3.0.8.dist-info/entry_points.txt,sha256=JueII3XX7dI4MJZJvmcWUR3nk3QrUFbDYRKOxKR9VKI,54
newground-3.0.8.dist-info/top_level.txt,sha256=kbQPTtXXnm5szRbucMwLgWlqptNkH7dBYY1mgsukdow,36
newground-3.0.8.dist-info/RECORD,,
