kele 0.0.1a1__cp313-cp313-win32.whl

kele-0.0.1a1.dist-info/RECORD

@@ -0,0 +1,74 @@
+kele/__init__.py,sha256=Z_Fua5JFcu4D95GGGCVCYyPpJKmdJEQsHqoZnDFhVNU,883
+kele/_version.py,sha256=nRGxVdhyLytlWLR9O_qufGr0zHUq7AVuRdrGd3kmCNY,21
+kele/config.py,sha256=uECZJehFbPz_snqNsmTsFmxwJeP8gQMl2dmO-LJndqY,11259
+kele/egg_equiv.pyi,sha256=KHrLdbe3ykMhi419Iu9W1yKtByXJSgcA6sQJtqYCXF0,585
+kele/main.py,sha256=94b_vfPxYtpY9sMhLW8-1GJSAsaAyqSAB5Bh5Ax4BWw,22083
+kele/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+kele/control/README_metrics.md,sha256=CJC8prAMjtT9CeqGNBl1EyFQe4vS1rigL44f_jGLsbw,3620
+kele/control/__init__.py,sha256=lImX2pe_IVrju56CeItktmxqfajl-PLAw5sX24R0jbg,528
+kele/control/callback.py,sha256=Fv8j73JnV1O0wr1PgN8nb9sjZ58QtfmuWqm2hLxR6sA,9226
+kele/control/infer_path.py,sha256=bUA3T9xr17CwY9F3UeAQo39lbES4tg1vqGkLmhbXrFM,14658
+kele/control/metrics.py,sha256=MW6QMddb7LPcMZ_yemxyXGgYnaWtYTsDDKfXnLwuoJo,13540
+kele/control/status.py,sha256=Ajd_DzI6NfLLx6T6tF9m7RqbBVY1FR-sBohAC9_Zdlw,12034
+kele/control/grounding_selector/__init__.py,sha256=0FlvU0gNV5DKgk0u8suPFloujwmw7G-VlQS6pi5r6wg,231
+kele/control/grounding_selector/_selector_utils.py,sha256=QXqNYLxGujcixV80f-yCMYVrMypeK5pEiYG-DwwLH-I,4827
+kele/control/grounding_selector/rule_selector.py,sha256=z9OxEEOAn8M6kNsKHRbQefuP4WQJikiEPwDRfHv8V7s,3794
+kele/control/grounding_selector/term_selector.py,sha256=1zxTsgrWlWsz3upbCYh2Y6sTGR00nWvaMnyCn8o7rUM,3749
+kele/control/grounding_selector/_rule_strategies/README.md,sha256=hqwRGNHiByGNyT_svaPLiBpKMfRExAe7826mM9KGARI,603
+kele/control/grounding_selector/_rule_strategies/__init__.py,sha256=WJSFgSM0DLhIUMdeRrHuFxhBq7Fjy34-CnTmEn7kOao,818
+kele/control/grounding_selector/_rule_strategies/_sequential_strategy.py,sha256=ZNSPXuV_VRDAK7a-EI4lEFr5-cH0lEirNdcMoPZZB-0,1401
+kele/control/grounding_selector/_rule_strategies/strategy_protocol.py,sha256=IgXr6gAVZSj23FCA3h2vza--DBLPpfwxHbMfqy9O8oQ,1824
+kele/control/grounding_selector/_term_strategies/__init__.py,sha256=YZlf36w4FUSFR-HNzYBQo7RNjLHVZWMRWNYXiDvQ7aA,818
+kele/control/grounding_selector/_term_strategies/_exhausted_strategy.py,sha256=sbkD5ss0i-erBXAacWc_bP_yztLIp65-LhA8IQiWRLA,1375
+kele/control/grounding_selector/_term_strategies/strategy_protocol.py,sha256=jZKJY4HrdV2qW0pWhU_QRYzfIOn5zFYC050xHejDoU0,1779
+kele/equality/README.md,sha256=SsrrCgRfNFIpUJ2pxPdW5lwuNJNDeCb5ny9Vyk8mBAg,712
+kele/equality/__init__.py,sha256=9oaOKxO66Pyp4YaxOEyo7E1jzxIOZHuL--wcXmr1OtQ,124
+kele/equality/_equiv_elem.py,sha256=sUR0GL2xtpwJOmyYVnKtOC4yGrp8r1uWC2zJc-6sWJA,2083
+kele/equality/_utils.py,sha256=nfEBGqiZg95wnmbIeHiRS4V8MPSr1TG7gACwHrwWjoI,1646
+kele/equality/equivalence.py,sha256=bEGKgP_UtSkznL17vPGxC2CafQYlym_dnNx-a_KauzI,6345
+kele/equality/_egg_equiv/src/lib.rs,sha256=wyHM9MqYb06WtjFRBzLVBW3xNbMTu7uXqQf4-7SxRJw,10443
+kele/executer/__init__.py,sha256=KrctPXtxdXKOq6t2vFQYHP0edYjCgsjxMovL7ZmxfqM,112
+kele/executer/executing.py,sha256=xYGJWTl9z3Kc4-q6K5zQABscjEu-koXEZa-ZokugvGo,6654
+kele/grounder/README.md,sha256=E5D8BnoMufFHpK00YSGh2gfF46eHpDRKZlhdH0TldVE,6959
+kele/grounder/__init__.py,sha256=0u7eeo58O90qdvp4SljH66Tl4XAZo6rbYsjbqBR65HY,460
+kele/grounder/grounding.py,sha256=X0F0RUEXZjMS7LVb6rFh1fH24tVKKTWgHfadIBxvawA,6323
+kele/grounder/grounded_rule_ds/__init__.py,sha256=P3hQ_pCcfar-wa-U0RdanjP79ajU1FUGej1cF1zsQmY,351
+kele/grounder/grounded_rule_ds/grounded_class.py,sha256=X783SrU9LE_tQHtjGlE2FyJIXWnI_wem0NwfCIipM-s,24742
+kele/grounder/grounded_rule_ds/grounded_ds_utils.py,sha256=cNxqueClsEhZZHHheiqmMVBSn04Y3XK2YAAqVFDrxD8,3978
+kele/grounder/grounded_rule_ds/rule_check.py,sha256=KvOM0Lz2Tl_f9nBi1YaN-LRHnRJ3KM2AQhRIs3h6fd0,18576
+kele/grounder/grounded_rule_ds/_nodes/__init__.py,sha256=Y3HK5bamlGjzX2sM9RQCYX1146-ngOyVFaRSa6-di1Y,740
+kele/grounder/grounded_rule_ds/_nodes/_assertion.py,sha256=_We_FmXc92RI8jGUVAtWFsY9nWbNom9YDFZSefmYSts,16538
+kele/grounder/grounded_rule_ds/_nodes/_conn.py,sha256=ObI-omUk8YFGpWHXY55evQ9DjFulg4kFQzy8i_mGPBc,6341
+kele/grounder/grounded_rule_ds/_nodes/_op.py,sha256=BM1oRsFo3_aD8dKfOcouJ42uh0ozkSKqsdV6rXiYwIc,2429
+kele/grounder/grounded_rule_ds/_nodes/_root.py,sha256=WO2_EkUzVffvvku_LKsg3p9EZZI_QdZ5i3v1lOwVGCA,3295
+kele/grounder/grounded_rule_ds/_nodes/_rule.py,sha256=YKcBZzqxKNff4RGqwg9rdsB42DmPX6w6aaR2YHglrmU,4444
+kele/grounder/grounded_rule_ds/_nodes/_term.py,sha256=cADzV1fBnY0-aLY0AIY1h3XVo3mJjle_KSfdTGk6om8,19770
+kele/grounder/grounded_rule_ds/_nodes/_tftable.py,sha256=yXn54ZwFlW4447bcZaLeD64pg64keU9J2QB8rKFf7Qc,505
+kele/grounder/grounded_rule_ds/_nodes/_tupletable.py,sha256=ePJ9Lc1X4NLteQPqo7f5ZCvCXsO_nQOypPIvdp0AH80,17617
+kele/grounder/grounded_rule_ds/_nodes/_typing_polars.py,sha256=qZ22CUZfhxf_WljQYQ3bnRhye-6ZD1JYf4Rg9t7DE8A,869
+kele/knowledge_bases/README.md,sha256=423cebnFriwQE6WhdLQQOSw_zIKb8g1U8hNInxe0hI0,5537
+kele/knowledge_bases/__init__.py,sha256=Ct5ETuvdShuox_ziHok8Y6pH2TDUj91T79GN1CUo25I,235
+kele/knowledge_bases/fact_base.py,sha256=TEud7twiEhaf5K2v9EuWFulRQdv4-bF-5O1f7NeIGbM,7682
+kele/knowledge_bases/ontology_base.py,sha256=Tck25Yrvg808rZblPj27fP1nCWl_ZgBcUVPUf47635g,2238
+kele/knowledge_bases/rule_base.py,sha256=ckP7zaNI2TwRNLqKb0Vdm61loXaj0FtPuzbLBjMs_HU,8995
+kele/knowledge_bases/builtin_base/__init__.py,sha256=JSAhVS1IBM8Jxnm530u3hSppzMY6yCV5CpdaE3eCTfk,153
+kele/knowledge_bases/builtin_base/builtin_concepts.py,sha256=BHEmXYey434mhFAXBnp9VDNzYzLU-5C9BhFiW5iw67I,501
+kele/knowledge_bases/builtin_base/builtin_facts.py,sha256=bPVV3mShRnTF9e4YGPL4GHpQL2d3JldDESyN5LFvUME,1704
+kele/knowledge_bases/builtin_base/builtin_operators.py,sha256=wXug6JNuawcgHK4i3nkRMd82NFhuABDTSpyt0G1odcI,3628
+kele/knowledge_bases/builtin_base/builtin_rules.py,sha256=G0QsOFm6JEddyyjD_LxCZ7tZQgstcfHYG8TIF3BNPic,330
+kele/syntax/CONCEPT_README.md,sha256=1N7bRUgARzaVW_9gZQ6CUkAuamQGEy3H4MLB6QGQcEE,3957
+kele/syntax/__init__.py,sha256=MIxlyOR6ZjTm-5qZKNYFyhIvYxOkuFQ-MnpQjA1Avog,985
+kele/syntax/_cnf_converter.py,sha256=2b5yjDapXg9wrITCgo0VCzKw5tZgPISoqrREEUpSl2E,6433
+kele/syntax/_sat_solver.py,sha256=DdqiRBPV7Q3XkYag0N_ysBrDjw94KNhXKb4mjtVDlVg,4428
+kele/syntax/base_classes.py,sha256=3U77mvAeekvL-QWygGJouWwNO-SBKHFyVE4R8gKeFn4,66819
+kele/syntax/connectives.py,sha256=SpbyEd-QlhLYHWCkMWoRiS5DiG6bhv9MrvUSdNx-76s,515
+kele/syntax/dnf_converter.py,sha256=0zubtQ0nM59P6ZDy89nZMafzIvL_cy6A9ssG-DVvOUY,5755
+kele/syntax/external.py,sha256=zUG25YbGSVt9Q6bkzeaQo-PbLt-7kOF9wcoZsn5JeHY,899
+kele/syntax/sub_concept.py,sha256=4cFlcoHLniRgDjyzyZwfyzGuWDUP-cqlX4-D6Ft9B34,3370
+kele/syntax/syntacticsugar.py,sha256=Ac8BO9HUX_UZ20RpKJjjsPtevE2DMxPFgAxMnCdRIX8,6757
+kele/egg_equiv.pyd,sha256=wiOVCP9IcJpx1hnJY96Itcb6RXNV6d8DX6Ikb_wohS0,305664
+kele-0.0.1a1.dist-info/METADATA,sha256=OAw_ewLYtnuqPJ3ttvNsnKlnlVkKeq92pGFx3LMSrow,7215
+kele-0.0.1a1.dist-info/WHEEL,sha256=64ZXRZcPG3ApPkISYCW5ndjwbUG9LUDIJPEdShucCEc,93
+kele-0.0.1a1.dist-info/licenses/LICENSE,sha256=Hk8GVjbMG4kG8USYZYwcw2yENTu4kQIArNHozgz00EQ,1543
+kele-0.0.1a1.dist-info/licenses/licensecheck.json,sha256=o_C37fe8hJuwi2EtndtlC3L7HP5g9sX-RDj7ApkaW0A,463
+kele-0.0.1a1.dist-info/RECORD,,

kele-0.0.1a1.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.28.0
+Root-Is-Purelib: false
+Tag: cp313-cp313-win32

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.

kele-0.0.1a1.dist-info/licenses/licensecheck.json

@@ -0,0 +1,20 @@
+{
+  "tool": {
+    "licensecheck": {
+      "extras": [],
+      "fail_licenses": [],
+      "fail_packages": [],
+      "format": "simple",
+      "groups": [],
+      "hide_output_parameters": [],
+      "ignore_licenses": [],
+      "ignore_packages": [],
+      "only_licenses": [],
+      "pypi_api": "https://pypi.org",
+      "requirements_paths": [],
+      "show_only_failing": false,
+      "skip_dependencies": [],
+      "zero": true
+    }
+  }
+}