kele 0.0.1a1__cp314-cp314-macosx_11_0_arm64.whl

kele-0.0.1a1.dist-info/RECORD

@@ -0,0 +1,73 @@
+kele/egg_equiv.so,sha256=XFZbahIonoru5W6O6wIazK-Z-EzC4nQ5yc3s7KdkQYA,658992
+kele/config.py,sha256=YUeHaA8cDQIXginB7yI8gxtdJwME4bUbOU3BPn8L0k8,11016
+kele/_version.py,sha256=Abqrz0vk7BddQ0ipQO0IoOv5W70WkUOHoSUUCLzr9Jc,20
+kele/__init__.py,sha256=I1hQH5q_cIKahc3_S81wyG-PdCKbCGgcNFSzi0udyHw,845
+kele/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+kele/egg_equiv.pyi,sha256=afbyk3Lwnt9KuiVYm8Os3w5ipX8yN_UoCxZWbI455v8,574
+kele/main.py,sha256=hjmuTlPCH_pUH-cd8iw47nsAZ2qOeX3q8dVgN0VsTcU,21619
+kele/grounder/__init__.py,sha256=2tyrGFT2bo_b5Zx7U-Mt9einySxGB2PZo5rvg5KyaT8,443
+kele/grounder/README.md,sha256=TyzBBx3AYxwBkRl-vtj7OkGxKBOEa5LHivpx7l2kqaQ,6876
+kele/grounder/grounding.py,sha256=I32TNDMe4DY9GTJkmdIVpxjXb_MZ7jtUWCganKEQ7UY,6205
+kele/grounder/grounded_rule_ds/grounded_ds_utils.py,sha256=Nsc0ecZTlasEmY_Pj5oNq_znU17mp1HyNZ3OX4BhNLE,3887
+kele/grounder/grounded_rule_ds/__init__.py,sha256=hOpLeC0PBtTKCnOMaEaf10i0N-Zv0527uZMyS1r0xmE,345
+kele/grounder/grounded_rule_ds/rule_check.py,sha256=4P2Dj6fprXnW3R5eDbhD_rZembKdYvQOm_Pr6_5P56A,18203
+kele/grounder/grounded_rule_ds/grounded_class.py,sha256=xbnQ3eM4JUj4ws9wm55X6upwnadXDnN-N6GLq51-aTQ,24281
+kele/grounder/grounded_rule_ds/_nodes/_tftable.py,sha256=cNw2xjJotGDnHA1qSkN6GKOmwFlT3kGu-TYgZJ8eDiM,490
+kele/grounder/grounded_rule_ds/_nodes/_tupletable.py,sha256=gh_SPEihkPH4V6lfCZY8pIUzhb2hI5_vT9LgfWt_rfE,17173
+kele/grounder/grounded_rule_ds/_nodes/_conn.py,sha256=RYkp5Up26jE5-Y7Bt0ARRUy0IPdUNjl6kHLp6wguG6c,6225
+kele/grounder/grounded_rule_ds/_nodes/_root.py,sha256=wdpKxjHYWIEHcfszf99oE5SnjR96OCLGhxdZx2gwDcU,3224
+kele/grounder/grounded_rule_ds/_nodes/_assertion.py,sha256=vVoxFBLXO-9toDAT8rpfpDJumMRcJ0tftoWOkZleoX8,16185
+kele/grounder/grounded_rule_ds/_nodes/__init__.py,sha256=uW9-7tANSRCQlsJsgdJ6cVKjL9vRGq7lFgRIfEzNvFA,716
+kele/grounder/grounded_rule_ds/_nodes/_typing_polars.py,sha256=sCvGZu3YGzOkSClqM9NpacV_r4MsDpTB-wImbotWpis,843
+kele/grounder/grounded_rule_ds/_nodes/_rule.py,sha256=FcHB1KO9kjqEH55fqeJFhpb_FXkoZCNesFgAdBVMmmg,4325
+kele/grounder/grounded_rule_ds/_nodes/_term.py,sha256=IYHh-38Pc-mRxfWXJvCKDDAwQfQhdjDYKXhoTea4uxU,19380
+kele/grounder/grounded_rule_ds/_nodes/_op.py,sha256=8Z_X_j4DySCuv7qi6IIoaEQB6B74RUaYhTt6qQo_pj0,2372
+kele/knowledge_bases/ontology_base.py,sha256=bI-_wW8ZaCBQhpe1xOfqoUKbuxYPbVQnhdjCKg6HTJ8,2171
+kele/knowledge_bases/rule_base.py,sha256=dy4hkoXphbnx0TyAuWF3kkFtvGvhlpl5GsyspHYqVss,8801
+kele/knowledge_bases/fact_base.py,sha256=MnoqYjpy8N6r5Pl8o8sQeno1UWqcDS_po2kRe5fROLE,7524
+kele/knowledge_bases/__init__.py,sha256=NHQSRQw3kV2pAaPIVNLuitgcIZk9CfwtW2PG8uqQ0rE,229
+kele/knowledge_bases/README.md,sha256=ehWRSUwdxmjrZ1aaxKUaqr9CvoCgDLBeIMhnBEgg7ss,5425
+kele/knowledge_bases/builtin_base/builtin_operators.py,sha256=3D5ugb92KSUZpBf9_YGxCuf3nx1jtDSOMGxUug4U4ys,3523
+kele/knowledge_bases/builtin_base/__init__.py,sha256=XnejOpEMN5v26AHoXrCoZNm5udxkEL5MTySu1NbPrF4,152
+kele/knowledge_bases/builtin_base/builtin_facts.py,sha256=MGYY7drm73AilDyW8BzayJjVLz8fdnCqov7v_aLMMoc,1661
+kele/knowledge_bases/builtin_base/builtin_concepts.py,sha256=-mvKnfg_uRUB3AtVVtIdchGLrcWRufCtuVkDoFAs3kk,488
+kele/knowledge_bases/builtin_base/builtin_rules.py,sha256=vsF4qKTHfLHHopthbwvmqc44r-JbY6xMkaO_uwmNAKA,316
+kele/equality/__init__.py,sha256=U_pF053AdFgaf7dj_XZset1CwfLydTb9AoUHc5KHTjM,120
+kele/equality/README.md,sha256=l8tpHJ6NYk2wJgYEJV8V8ywAqbTtLXC6PaHEdLh56Do,704
+kele/equality/equivalence.py,sha256=h6r4uVYy2ghfmYAq4X8g5qFlDrECzmcShyYwCRBIhSw,6204
+kele/equality/_equiv_elem.py,sha256=TT4YwxqxxZDEF4MQKfHbcO-yL6euXcSYAIb-Njw0bwI,2016
+kele/equality/_utils.py,sha256=I_-nNxzr5MydCILITLwyT1qTYtz9e16a4StLZwaCD_U,1610
+kele/equality/_egg_equiv/src/lib.rs,sha256=SH3Sd6UaAENWCdrX_XPHbCqmrWxdDEJ2VFqT3ti2ugw,10176
+kele/executer/__init__.py,sha256=Ie-rWR1ELp1p50ViYfbc7XT6ei694SZggvM4RhC93FA,108
+kele/executer/executing.py,sha256=Ps4rlZQ_50-WAPJKcSb6a_88DmWhgHnJX4FEAjjhcs0,6515
+kele/syntax/CONCEPT_README.md,sha256=ra1oPJliXqU46l8wLlPSQds5ako0k5NpUIW0O8HuA0I,3840
+kele/syntax/syntacticsugar.py,sha256=Ij00Zz-ugoA2u9X-EA1EatPleQSCxaBBwWMCN7dfSF0,6556
+kele/syntax/sub_concept.py,sha256=IP8gajsoKN60BIl2XQ52FwUqDViyqG778jsi5UBb6Ss,3283
+kele/syntax/dnf_converter.py,sha256=6rtFBOPwBv-5r-Xb5boOvTFuC5ad1SCGrLseZSVAziI,5610
+kele/syntax/base_classes.py,sha256=89MstFuR9NQCurxkuGpSc1-9ouBmoHsLSvhN8I6mcFU,65337
+kele/syntax/__init__.py,sha256=7GdV8-7cGQOpg88B6QzIPxKrijVa7iX-BsL7eQVsatc,945
+kele/syntax/connectives.py,sha256=k0w_Y5_4blyD1di1XWdCdzrfZzyjq1PnupTjLT7P4L0,495
+kele/syntax/external.py,sha256=HeielICS9leMiCluFJnBrjr7QXGidH4S2qVgV_4GpnU,882
+kele/syntax/_cnf_converter.py,sha256=ZPrwwkPhs4j-NZphf0B73yshy8hdt9R655rqwXPiDVw,6272
+kele/syntax/_sat_solver.py,sha256=Ep8Ts-lOSkIdaviRCweTMvX79akG0DV0u04y-ipbxV8,4312
+kele/control/callback.py,sha256=ZavPI-q4tsXzoptVxzbNuV0ds8cPy_bKHx2AR-aIiOk,8971
+kele/control/metrics.py,sha256=fJTLVyYcFw8odizyAS8AUn_DipRssh2tcA_cCA2sZpM,13183
+kele/control/README_metrics.md,sha256=8lsUJ3uVEZaw3h0SyuwdGXQmHg7A5iTI6lwRu3dEmrw,3518
+kele/control/infer_path.py,sha256=8PiUwfJqgn0g4ROait_Wmu_ysE1xB8FzLXzLj0pc-jg,14352
+kele/control/__init__.py,sha256=RPQk7sZLY-Z2Yy-2sbkEy8QDOEjP9bMDPSlxiGTt79s,508
+kele/control/status.py,sha256=nHzSoCWiXsCO9f-v4zQxLzNyyeaJmiaec9O-G8wge_k,11748
+kele/control/grounding_selector/_selector_utils.py,sha256=a_ngDVoDHVC58ci5MzZGvToI512zewgqhQJJMxBg238,4704
+kele/control/grounding_selector/rule_selector.py,sha256=Kwt-fuki_EUhIjUPMhhisoDjXgNBaFyOyO59Yqsaq8w,3696
+kele/control/grounding_selector/__init__.py,sha256=kkPIMer9XgwAc0qQh97aAUsNLxU8fnlGzO77BRlkTiE,226
+kele/control/grounding_selector/term_selector.py,sha256=WlwDgMxad54706fuVi6UB1_6zlkjB0HIu2y-ajhyLOg,3660
+kele/control/grounding_selector/_term_strategies/_exhausted_strategy.py,sha256=zshyIoYHoGBL_CD8Ul8oaQOXWn5ksJlppEE-_9rjV6s,1341
+kele/control/grounding_selector/_term_strategies/__init__.py,sha256=fiScOuFyOvOsTJ_4qBZUsAbbm4frXw2wdDH83X_Uqn8,794
+kele/control/grounding_selector/_term_strategies/strategy_protocol.py,sha256=STO3FHvWG4GaJTgFfWlGVXD7Y9nqGAN_gA7jleDX2z0,1729
+kele/control/grounding_selector/_rule_strategies/_sequential_strategy.py,sha256=gQA1ruLsDm4A6aIhUkVPCZYLliLZra3XteRzYwpwxtY,1359
+kele/control/grounding_selector/_rule_strategies/__init__.py,sha256=I0Se_YI2SwMIS7_KigwvnAoFju3_ibWcI7A0fOOuK-8,794
+kele/control/grounding_selector/_rule_strategies/README.md,sha256=D3QLy0bTDT6R78H9UOoXhBOkUxZKX-qVWFnvq6pLUOQ,590
+kele/control/grounding_selector/_rule_strategies/strategy_protocol.py,sha256=JdpLuTMmVql9hB7LkioClqX2mpWmvdaxLIJZCG78Odg,1773
+kele-0.0.1a1.dist-info/RECORD,,
+kele-0.0.1a1.dist-info/WHEEL,sha256=WXbsi20BQPXASsTtoxXQwqKayNrjmxYKohCcHJqRTOk,133
+kele-0.0.1a1.dist-info/METADATA,sha256=3smBb3-jq7rg9d6vmo8f7HESA0UIlWq4iBULRoNsaqo,7183
+kele-0.0.1a1.dist-info/licenses/LICENSE,sha256=yrgzwbwrQIG34zMTxU1YlNLq50LAa0AJDIutZTLTkmI,1515

kele-0.0.1a1.dist-info/WHEEL

@@ -0,0 +1,6 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.28.0
+Root-Is-Purelib: false
+Tag: cp314-cp314-macosx_11_0_arm64
+Generator: delocate 0.13.0
+

kele-0.0.1a1.dist-info/licenses/LICENSE

@@ -0,0 +1,28 @@
+BSD 3-Clause License
+
+Copyright (c) 2025, USTC Knowledge Computing Lab
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright notice, this
+   list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright notice,
+   this list of conditions and the following disclaimer in the documentation
+   and/or other materials provided with the distribution.
+
+3. Neither the name of the copyright holder nor the names of its
+   contributors may be used to endorse or promote products derived from
+   this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.