tarski-lapkt

View on PyPIReverse Dependencies (1)

0.1.3 tarski_lapkt-0.1.3-py3-none-any.whl

Wheel Details

Project: tarski-lapkt
Version: 0.1.3
Filename: tarski_lapkt-0.1.3-py3-none-any.whl
Download: [link]
Size: 209115
MD5: 96a3faea11ac21724e061c7f4ee7fdca
SHA256: e9edc03d2a8c4595a6118136cd48b69bf261ea782a25056a807bd6a04b83ed93
Uploaded: 2022-02-28 12:56:27 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: tarski-lapkt
Version: 0.1.3
Summary: Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
Author: Anubhav Singh
Author-Email: anubhav.singh.er[at]pm.me
Home-Page: https://github.com/aig-upf/tarski
Keywords: planning logic STRIPS RDDL
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.6
Requires-Dist: multipledispatch
Requires-Dist: antlr4-python3-runtime (==4.7.2)
Requires-Dist: psutil; platform_system == "Linux"
Requires-Dist: scipy; extra == "arithmetic"
Requires-Dist: numpy; extra == "arithmetic"
Requires-Dist: jinja2 (==2.11.3); extra == "docs"
Requires-Dist: docutils (<0.17); extra == "docs"
Requires-Dist: sphinx (==3.5.4); extra == "docs"
Requires-Dist: nbsphinx (==0.8.5); extra == "docs"
Requires-Dist: recommonmark (==0.7.1); extra == "docs"
Requires-Dist: sphinx-rtd-theme (==0.5.2); extra == "docs"
Requires-Dist: ipykernel (==5.5.5); extra == "docs"
Requires-Dist: ipython (==7.24.0); extra == "docs"
Requires-Dist: clingo (>=5.5.1); extra == "gringo"
Requires-Dist: ply (==3.11); extra == "parsegen"
Requires-Dist: pytest; extra == "test"
Requires-Dist: tox; extra == "test"
Requires-Dist: pytest-cov; extra == "test"
Requires-Dist: mypy; extra == "test"
Provides-Extra: arithmetic
Provides-Extra: docs
Provides-Extra: gringo
Provides-Extra: parsegen
Provides-Extra: test
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 911 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.37.1)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
tarski_lapkt/__init__.py sha256=lho95Cla6TFvudNJYVGutuurrZCmiRWNK9h1MK6CwN4 369
tarski_lapkt/errors.py sha256=gInhIG-2xa9HbY8vPImmSooVck8AHwTPMRK2UcdvKhM 4658
tarski_lapkt/fol.py sha256=oxeYmkTMimlb8XhVA9GDctqFFrF5qYYHHAw-m1_1vbM 17798
tarski_lapkt/model.py sha256=BIIwPYmIrbWl1V4u1Ohr8tklFcPRJpOU0LtCc0CbRwc 10498
tarski_lapkt/modules.py sha256=tNA9Ieanm1j36-s6hRV03YUYRKvRGn828mlXVjSiqPU 1596
tarski_lapkt/theories.py sha256=S8vhAarOzPtCidR4p2AMj-I4gDGxfCOBzr3wTNwFNXI 5499
tarski_lapkt/util.py sha256=dWX2GLlK28XCzd86ThoSeXSjRtf2yhBxBGNI5OOOXEM 1277
tarski_lapkt/version.py sha256=ErljKIhMCexfoD4sYLyvuVJ9ZvJNPdW5Nmr0GLQn2HQ 81
tarski_lapkt/analysis/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/analysis/csp.py sha256=evCrQkEfOgaL7BnryBxnU8siwoJu3HwmB45pjJyjn6o 4849
tarski_lapkt/analysis/csp_schema.py sha256=Ehcs0-wQbvUBCWIUSAzxdN-vMfa0ffRbl44Ng98EBx4 10324
tarski_lapkt/benchmarks/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/benchmarks/blocksworld.py sha256=4KflO8E5igVPOLrMkMLyzKKdi55M33tR56ZN1xeT784 6610
tarski_lapkt/benchmarks/counters.py sha256=bh8_vqz82clPtLzLzH3CuO-12XXQkZbycNhGC3mk2B0 2340
tarski_lapkt/dl/__init__.py sha256=2C9MJLrT1n4oomRvgeMNF9Zi_Rwz_jdM0J8DD5_wKFg 574
tarski_lapkt/dl/concepts.py sha256=0MnjUztRCKMhCVlbxrQeRSNzdtDcpgw5_8V8Lg0tQpo 16060
tarski_lapkt/dl/errors.py sha256=TGLp3L136IVOAh2c9V6ARFTyObGJe9ELLKt0D6dqY1c 673
tarski_lapkt/dl/factory.py sha256=AoDOz4qor6gOfZgsW4U5HTxhofXRg7uD85l9LdO0Jfo 7959
tarski_lapkt/dl/features.py sha256=_7xT8audH41TzY2YGHB7MpoH3tQ40Avtsc0zGK9Emac 8507
tarski_lapkt/evaluators/__init__.py sha256=D05ZR0f70HK9EhodB5U_CeoukdrVXjQbPKD5V_AUgh8 128
tarski_lapkt/evaluators/simple.py sha256=RSl461GlzHYA1hECB2zItr4Maoi6gRHNiLOmVrjjrmQ 9160
tarski_lapkt/fstrips/__init__.py sha256=svcHYMX_gPa6V556vzsbfXKUqqNzRO0REi5b8jZFV-w 365
tarski_lapkt/fstrips/action.py sha256=bMXKd_YY0M4HwRfzNn_4FWmkvk8iFvqMo0Pdd7LmCSE 2022
tarski_lapkt/fstrips/derived.py sha256=yY2SPKJLpV7fJVRNs6S0Vh6TtQnIoFNUM0fjHrfRWxQ 1542
tarski_lapkt/fstrips/errors.py sha256=xrmPX6N5FK42vSA26ndVaaVepmczIWUMbZ2_-fMTAY0 967
tarski_lapkt/fstrips/fstrips.py sha256=3fMBaL-LC_xqmq_tXiZK7IYq37n9vF60MFpsty-k2FA 11218
tarski_lapkt/fstrips/ops.py sha256=T-a3DEMXk2fpguaLPgTBBmwdOa93pXY8QyHOU9hwE6Y 3638
tarski_lapkt/fstrips/problem.py sha256=fAY_QRrMFsHsN3hA6N5D9Z-B8vp8c48HpCt2IlmxMk8 3902
tarski_lapkt/fstrips/representation.py sha256=jBb1RYKDgO6070XsnslZzWljW2GEBZP_fk8S70IsXWQ 23018
tarski_lapkt/fstrips/visitors.py sha256=_xzPqkvKX8mw3FBJ2WyIAHpN_N3h-84BdTVXwvJjxrM 4598
tarski_lapkt/fstrips/walker.py sha256=y4zIthyfdcqSUe8m6UUCwzPnKx2IhtYQi78rkt6qw-E 6349
tarski_lapkt/fstrips/contingent/__init__.py sha256=6Y8TnZzKV_XOuuhkFBeceCICLpBkDM8T7L0MV1GcD7w 127
tarski_lapkt/fstrips/contingent/errors.py sha256=aoatT45hG67xf166v-NsCPCu95RX0jo8yxRhPlP7D6c 604
tarski_lapkt/fstrips/contingent/problem.py sha256=SSOTmDpW2CueLwblXCzNlykNZzdqBj1ljRt4Z5oJgtI 1144
tarski_lapkt/fstrips/contingent/sensor.py sha256=btypDccBVln78WFPI3BU4s5NTlFdJYPab9pskPWrhug 1403
tarski_lapkt/fstrips/hybrid/__init__.py sha256=sfp90msJJkIfBq6xM_0PvCxYsRYTUvK4uaAApDAXv6E 170
tarski_lapkt/fstrips/hybrid/differential_constraints.py sha256=QElUQl-SjHb1QohqXz_cI4OmRhJOR4trhKaTdCnuUGM 1503
tarski_lapkt/fstrips/hybrid/errors.py sha256=sAuCzL0SLWFPJKr_WzJnECbk5Lf1lq1gcDwjPsW9r5A 536
tarski_lapkt/fstrips/hybrid/problem.py sha256=CdrOqsMLvYii4LDYne6kRdXTkMuUzkvrzIY_Cgi6Yk4 2659
tarski_lapkt/fstrips/hybrid/reaction.py sha256=_Rr9ceKGNId-JBNpFN-tQG36DtRY775nJKoCWebyKMc 969
tarski_lapkt/fstrips/manipulation/__init__.py sha256=zZR5nZ1Zwjrjoj1IX4qCuxZz2gp_2K0XOVKYpFwnvwY 32
tarski_lapkt/fstrips/manipulation/simplify.py sha256=XMSRNKrrmuZBfAOtjGrpMfsyvbd6ihypPiOnhYDS3wY 10982
tarski_lapkt/fstrips/manipulation/types.py sha256=PJTzgGLkl4sjp616B_QQBsnKZhPebHxxmuEHJLOqbPA 949
tarski_lapkt/funcsym/__init__.py sha256=vQslD9MbrFc0H2SymQtStvV4KMflsaj0Ur6FnZ88ptA 722
tarski_lapkt/grounding/__init__.py sha256=h9qDFLgz0NOc9OcwbeaOsEKw10ePJlPUIx6lrbNYuBw 160
tarski_lapkt/grounding/common.py sha256=qWLhjuzbyc3Who6AwAv5d3-Uw9ee5OMe6E4Yj2Jkb4A 1793
tarski_lapkt/grounding/errors.py sha256=hOdApOZj8SO8jTAUy87lam_CHwYWsHTLB7Hbjv7TrHA 426
tarski_lapkt/grounding/lp_grounding.py sha256=8VH1vBYYZ1YetSqXWoS84JPeqOmMeKcIHQhIljlSmSI 4843
tarski_lapkt/grounding/naive_grounding.py sha256=2zFJKq4Hlk146DbIeKHTNFKbQNfYQ4IS2KPGo271Cuo 7411
tarski_lapkt/grounding/ops.py sha256=ULk6vu2Ot80nEJpU8MUjHrG1Fm8IPBIyHJy3vHNYNu0 1471
tarski_lapkt/grounding/naive/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/grounding/naive/constraints.py sha256=ZZ7iy4yboInWnERDh4LGbsf5kzPsd_jHUXvojzt_hcw 1997
tarski_lapkt/grounding/naive/diff_constraints.py sha256=q7asF-HEzU4DshcWXodgreGxdDRvmrKiGo9x31mjl5o 1387
tarski_lapkt/grounding/naive/instantiation.py sha256=84i5HbrV7v5vraopD0WmqAIgg91y0GAHbfxxR5cYln0 800
tarski_lapkt/grounding/naive/reactions.py sha256=s7jsDz4M2ZCQRU9yidjU7zn-Gkf67FUr2b8vZXxH1Fg 1606
tarski_lapkt/grounding/naive/sensors.py sha256=YyN77kHDopMOVo_fbp_31UjsofiFN7lW3JtJyiQKdOk 1348
tarski_lapkt/grounding/naive/state_variables.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/io/__init__.py sha256=FOtygJjlTde33-rgWEEi6g9e2mSW1AKk8YuGgGbdQY8 175
tarski_lapkt/io/common.py sha256=urb3ZRUl5VugDIevKeVN3E_DmslT84JVFVt8SbRzIMo 197
tarski_lapkt/io/fstrips.py sha256=mlAx10flsNCKRYwoLx8FDE6GOAolEcuD0XcGkkU3Q0w 15947
tarski_lapkt/io/rddl.py sha256=C2PAQm3KVewKzd4h6lqmF3gCyPybgql-O8l34L6Tczw 26201
tarski_lapkt/io/utils.py sha256=xVwq5tLSvajmfCsZ_5VX83nPh3WVVwo986eorhxE3w8 809
tarski_lapkt/io/_fstrips/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/io/_fstrips/common.py sha256=fKSek457EyVIMe4s1WE4o-I6ufzAyQlcF4O8S4QinfA 6259
tarski_lapkt/io/_fstrips/reader.py sha256=GeNgdsepIy6MSlFCDJR8QmtUyp4-AILLpIyH_LRJNsA 20568
tarski_lapkt/io/_fstrips/parser/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/io/_fstrips/parser/lexer.py sha256=_hhEVqlivwwqVTaFsN4GFrP4fgN0S2Ity1n9OhAKDZ0 46033
tarski_lapkt/io/_fstrips/parser/listener.py sha256=hVjspaU3T5Aly33X_RjC1A4sDmE3yrGWiVkFY45h96I 37764
tarski_lapkt/io/_fstrips/parser/parser.py sha256=BsdmNxBrmbpciJKr0uKf0WIgcQhjmq95rdQdPr1574g 265987
tarski_lapkt/io/_fstrips/parser/visitor.py sha256=kxy9mCX_Nk42oNn2tV6RhgxRMZF6Cn0cB3lUt1sePrg 22257
tarski_lapkt/io/pddl/__init__.py sha256=9-DPLOloHnZkb5cOCNxc4T2WlZF34zgJTSuS4cPAUwc 1191
tarski_lapkt/io/pddl/errors.py sha256=6KpL8tLW_iAgRUS-DQdcwbLq4XsHCDA4cv74-io_L2s 1025
tarski_lapkt/io/pddl/instance.py sha256=ZHZbeQj0EGD5KMhZUHKjCXj-1Dmvl3Lej0TsBtUqFNw 12446
tarski_lapkt/io/pddl/lexer.py sha256=T0tKtZOO3d6UFFZq4CUkLR_z-_K6tUO6KyHf0g9I5is 7644
tarski_lapkt/io/pddl/parser.py sha256=8HL0iQD4z-ExLsZYJ6DnAz7uIrYfEx4MjsckN2PPdPc 53911
tarski_lapkt/ndl/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/ndl/temporal.py sha256=vjc8xbqfm-6Bt08-Y7XF67zcAdMMbc9pUwEXkw3tVzA 8152
tarski_lapkt/rddl/__init__.py sha256=YFH9EfNF1tsui74ke2vUCirQYf-c5SleJt2AvdCOUCU 23
tarski_lapkt/rddl/task.py sha256=JMSYQqYxVQFIaQWLUmJtBjZace6p4sEp9bO8EDea4Ck 1243
tarski_lapkt/reachability/__init__.py sha256=VUctH2KbhMpesG1CRqZt7YRVlOdxbeXxJi6ZgFxff-M 93
tarski_lapkt/reachability/asp.py sha256=svtBJGIrsslMoN9GVk9YgETpqYG0vp40mhxD3f4lpnE 19669
tarski_lapkt/reachability/clingo_wrapper.py sha256=LBSHuhd_T-fSaAme2ptJu0ujZz9_acki_v8cHzPkq4k 3397
tarski_lapkt/reachability/gringo.py sha256=xPIG4Jk6vHKY6XTdRMioYLeLyDOCWDwOk1tW9qkocBM 696
tarski_lapkt/sas/__init__.py sha256=PL2rgE7zaGB2jRR_5scHjfFX3aqfn9_HZYwXEpZ1GXs 134
tarski_lapkt/sas/action.py sha256=m-9dtszvhKgimWzt3MVvhsRHe0GNb-fBoDx-RnUhrVk 2288
tarski_lapkt/sas/helper.py sha256=50PSBr7GKCz5PcVDw32kCRkkAcAkdmqeMDwPaaT3RqY 548
tarski_lapkt/sas/temporal.py sha256=DjUi23T5mZn7FBKxQF1qpU58Z8HDAt5X-8ha-geDzmc 1127
tarski_lapkt/sas/variable.py sha256=K3ce7QD3w-s12U75xUJkc4ufFx5e7WvPf7zQ3LDCyR0 1633
tarski_lapkt/search/__init__.py sha256=0o6vYewb0GeplJtLNdzqqk9-SHmFPqMk7gXbQRhnh-o 96
tarski_lapkt/search/blind.py sha256=pTIftamMDDwTRFIEoiTtg7WMVutmeZRPPpEkhUDSr8c 2776
tarski_lapkt/search/model.py sha256=Ji4rSBivMoc27bIEIoMzV04DQe8Tsfd3KVCYOJ1qv6A 1583
tarski_lapkt/search/operations.py sha256=cjIKMTU2esFG2mRu6VKmAnHOErxGch5hDd0f-c1lVKE 1992
tarski_lapkt/syntax/__init__.py sha256=R68-fzi3isXg8cUDk6iLcbmVrci78wIbJGwvfHi0IiU 676
tarski_lapkt/syntax/builtins.py sha256=Qm2b3i5NbtWDecwMwij-ojkhF41D3LQKv2xWkWUT5FQ 3211
tarski_lapkt/syntax/factory.py sha256=5ke6H_xtL2RCQBHbCMwoj5Om5rbud9rxsA_AQ1V7WIE 1273
tarski_lapkt/syntax/formulas.py sha256=FaqGFW6VbD8gKM8oHnVsRf3A9n7CLUCTYkvsH2Wu_Uk 12593
tarski_lapkt/syntax/function.py sha256=9rA5aYNiKgiLqeSMj-UqnZqK3ilzwZVoPJDt_cO9gKc 1654
tarski_lapkt/syntax/ops.py sha256=P4XDp1XOwdahqqeFMFS8edu_cG7bCtHSQfdm4rY-GJQ 5617
tarski_lapkt/syntax/predicate.py sha256=pLadLdgXQ4D8MI8eXbaLEJJDEtNJ4JSOIUFexaZIcKU 1485
tarski_lapkt/syntax/sorts.py sha256=NrA4BtP3FBukU-9ffTCa5da17c1XXRalMbgyh1ZajQg 9543
tarski_lapkt/syntax/symrefs.py sha256=gemlI_6VgIdbmkYunXTOfubxoWJPyxCRTiYfpeegOtY 1150
tarski_lapkt/syntax/terms.py sha256=6bUZ7wtf0Pp7nrkGUqvI8IIbkOiHxLt0awDxVXHUrjI 12255
tarski_lapkt/syntax/util.py sha256=sbGdvfjHbaR0D-KmIuH1gA-mMXDeSBd2_ep1IorfhGw 1075
tarski_lapkt/syntax/visitors.py sha256=IwG-9PFOMFfpueEz1vyCh9zULZTvHHoNYcx7V1418N0 2921
tarski_lapkt/syntax/walker.py sha256=G-99-JBG2E-NiLhzbH_i7_ByCi6ZZD_1qSw7UA5Hi2o 3403
tarski_lapkt/syntax/algebra/__init__.py sha256=P6vyl6GuLZJs2fFCkUHHKFnGYygWAw_tLGnmKc4gqwM 27
tarski_lapkt/syntax/algebra/matrix.py sha256=BKjVow95G8QJI9BzXhkPR6k8plBbhQBv01ADBvQ8wAk 2085
tarski_lapkt/syntax/arithmetic/__init__.py sha256=3Kd9sk68_06cBZc2la0Y-J5jLCUh410sUYLcM-kjvuA 8794
tarski_lapkt/syntax/arithmetic/random.py sha256=BK8sBrdof3NHM032ZV6d1WwRJOSnyT4X0ONz2bOSx7k 781
tarski_lapkt/syntax/arithmetic/special.py sha256=oHAKGCTXNbrdKbD_FxfOu9Z7eKukqkg3gKBtvHD9FXs 1556
tarski_lapkt/syntax/temporal/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski_lapkt/syntax/temporal/ltl.py sha256=KShoakZtZ5CZHFTE_ThbaeRC_TErwZFax4OkgOXZra0 1943
tarski_lapkt/syntax/transform/__init__.py sha256=pAdewkdImcHG-qJJtFkOU3TueBY6MWboOqloOiz1-LU 352
tarski_lapkt/syntax/transform/action_grounding.py sha256=XWW2lk_aa09JvrxAOqE-x8Lp-IVvNJUmshH8fJ7gNH4 2921
tarski_lapkt/syntax/transform/cnf.py sha256=hkU97kGi4DSUdI3Gt69Lm8RmZOOi6Iq3WVNECqgxwvo 4104
tarski_lapkt/syntax/transform/errors.py sha256=TocJ6IkJDkUONCE31yCuBQvYvKvvYAtlShfRPr7S8T0 476
tarski_lapkt/syntax/transform/neg_builtin.py sha256=ncNtsuL39gvMyvUcsg3hUu1d5hoOkfu4eKHtpWuwUrw 1665
tarski_lapkt/syntax/transform/nnf.py sha256=Yk-O2cc4JV4yrgXlGa_hZbIpcnBwymXjnr-RqDz5A5A 2214
tarski_lapkt/syntax/transform/prenex.py sha256=0hbYQBSvyKrC-Rk87pPDWsgG2sJEkVq3-_sPy2BgfLU 7179
tarski_lapkt/syntax/transform/quantifier_elimination.py sha256=hCNEyHhOMAP6ilakiCo-HAYlRhVbx3IeHIdz2dYBomI 3404
tarski_lapkt/syntax/transform/simplifications.py sha256=a0pPvvmUM_AE34gaPebuhiNxXNE6auqJ1bAfzbUd6T8 2046
tarski_lapkt/syntax/transform/substitutions.py sha256=nANdEyU4I7X5hKc-vLRYqTtvN71uVg9ZaZMeFGt6nAo 1679
tarski_lapkt/utils/__init__.py sha256=R59AhQ9nwxVcbH0JxZoVn4kSAjKJPuOIESeLeIaF4T8 34
tarski_lapkt/utils/algorithms.py sha256=R8BATLaxjiKF_n0GFZCQYwgr8JQd9ADVqSc1HxpGAc4 1288
tarski_lapkt/utils/command.py sha256=Pekem8Dt411qJBXPVXtaG3n5Ene7hJwW1saRrfHnQXg 4107
tarski_lapkt/utils/hashing.py sha256=zrDMyQY25ubCkO-0g5Xih1rnIOm0JohU9DPvr5W1apY 676
tarski_lapkt/utils/helpers.py sha256=sDg-gVsEZ27SznzQY9RzpXwr-iOv19gdn2zuzhNO1ak 623
tarski_lapkt/utils/resources.py sha256=YIfc7N7NXTdTsHEvXsMmB2kiBb2_F4mFFTMIxQnYbr0 1697
tarski_lapkt/utils/serialization.py sha256=XHPk0t2cwC2yeVj61aAA_2ZU-blDBqyTZEpLOFSlm4g 294
tarski_lapkt-0.1.3.dist-info/LICENSE sha256=WNHhf_5RCaeuKWyq_K39vmp9F28LxKsB4SpomwSZ2L0 11357
tarski_lapkt-0.1.3.dist-info/METADATA sha256=NhIBU6ERJX_tlqM5c8IwWidmgJa0jTpgWFulYSRNHnw 2877
tarski_lapkt-0.1.3.dist-info/WHEEL sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA 92
tarski_lapkt-0.1.3.dist-info/top_level.txt sha256=hzW9acqSrDhtxxVYIw3BV_h6jNEWBaSRW-u41e5Pdp8 13
tarski_lapkt-0.1.3.dist-info/RECORD

top_level.txt

tarski_lapkt