Wheelodex » Projects » tarski

tarski

View on PyPI — Reverse Dependencies (5)

0.8.2 tarski-0.8.2-py3-none-any.whl

Wheel Details

Project: tarski
Version: 0.8.2
Filename: tarski-0.8.2-py3-none-any.whl
Download: [link]
Size: 213119
MD5: a49460f60c41541fc54cc9b7b651a256
SHA256: f965e946dfa845bf87703734e660734596a67e491c4f4a4fb101092ca9420bf5
Uploaded: 2022-04-07 19:08:23 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: tarski
Version: 0.8.2
Summary: Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
Author: Miquel Ramírez and Guillem Francès
Author-Email: guillem.frances[at]upf.edu
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.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
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: clingo (>=5.5.1); extra == "clingo"
Requires-Dist: jinja2 (==3.0.3); extra == "docs"
Requires-Dist: docutils (<0.18); extra == "docs"
Requires-Dist: sphinx (==4.4.0); extra == "docs"
Requires-Dist: nbsphinx (==0.8.8); extra == "docs"
Requires-Dist: recommonmark (==0.7.1); extra == "docs"
Requires-Dist: sphinx-rtd-theme (==1.0.0); extra == "docs"
Requires-Dist: ipykernel (==6.9.1); extra == "docs"
Requires-Dist: ipython (==8.1.0); extra == "docs"
Requires-Dist: ply (==3.11); extra == "parsegen"
Requires-Dist: pyrddl; extra == "rddl"
Requires-Dist: types-psutil; extra == "stubs"
Requires-Dist: pytest (>=7.0.1); extra == "test"
Requires-Dist: tox; extra == "test"
Requires-Dist: pytest-cov; extra == "test"
Requires-Dist: mypy; extra == "test"
Provides-Extra: arithmetic
Provides-Extra: clingo
Provides-Extra: docs
Provides-Extra: parsegen
Provides-Extra: rddl
Provides-Extra: stubs
Provides-Extra: test
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2133 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/__init__.py sha256=RM-EgJKH7gbCxer8Y1XI6XEQFTM-kEQqEV9o12rY9JU 569
tarski/errors.py sha256=vVaCAdU6INWe36uQquz4SEIGiFXrBUUtYJks00iJWI0 4659
tarski/fol.py sha256=dchRSLVz3pi72MbbBsUCdauUuCTvY_vPxVuFfGJytuU 17944
tarski/model.py sha256=jtJ6Qw07bPZAim5aqbgVXSAcWBhTRHm-C7caUmrcMoQ 10496
tarski/modules.py sha256=ML8IftFFRv2Ayh9yYgLiq-qL1WtrPu8mN7E8XhysJLg 1581
tarski/theories.py sha256=4sJ82MD2HtOZYge7lwLLsYxooJNxZsf_qbYJNkvvNQc 5493
tarski/util.py sha256=dWX2GLlK28XCzd86ThoSeXSjRtf2yhBxBGNI5OOOXEM 1277
tarski/version.py sha256=3y2O_ltVdAQvZ3voF2CIUVGiVnZCu30-aBzzWTAcf1U 81
tarski/analysis/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/analysis/csp.py sha256=31wXQUhnpODgKwI2Cwl32Xq-oKAjmtoonV3LcWRYzCw 4851
tarski/analysis/csp_schema.py sha256=TXU-Z6h4jSbS-f7pXOAH1hMwvLyELcWfsGuDefxfiHc 10335
tarski/benchmarks/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/benchmarks/blocksworld.py sha256=px-FZHooAA13jmD2vla7HJaApXEWQtkj_p4-cTO2OMc 6613
tarski/benchmarks/counters.py sha256=Ma1U69m2CbK7BHm2wgtjnRpa7pYQgh6LHpxfDtkH_Go 2342
tarski/dl/__init__.py sha256=2C9MJLrT1n4oomRvgeMNF9Zi_Rwz_jdM0J8DD5_wKFg 574
tarski/dl/concepts.py sha256=R1qFTJOHqfzQorCYlMTdYbgM0xSM3QfUOsIpPEDCsv8 16076
tarski/dl/errors.py sha256=TGLp3L136IVOAh2c9V6ARFTyObGJe9ELLKt0D6dqY1c 673
tarski/dl/factory.py sha256=e-BLPgzSQt9iVx5YDYiS7rC7jjN47FM5AXHkMpyg-Cs 7962
tarski/dl/features.py sha256=x-R8--5VX7Y0hVl6q2LSHHAI6lgDAeFQ6G9uwNGXzTQ 8507
tarski/evaluators/__init__.py sha256=D05ZR0f70HK9EhodB5U_CeoukdrVXjQbPKD5V_AUgh8 128
tarski/evaluators/simple.py sha256=RSl461GlzHYA1hECB2zItr4Maoi6gRHNiLOmVrjjrmQ 9160
tarski/fstrips/__init__.py sha256=svcHYMX_gPa6V556vzsbfXKUqqNzRO0REi5b8jZFV-w 365
tarski/fstrips/action.py sha256=bMXKd_YY0M4HwRfzNn_4FWmkvk8iFvqMo0Pdd7LmCSE 2022
tarski/fstrips/derived.py sha256=yY2SPKJLpV7fJVRNs6S0Vh6TtQnIoFNUM0fjHrfRWxQ 1542
tarski/fstrips/errors.py sha256=xrmPX6N5FK42vSA26ndVaaVepmczIWUMbZ2_-fMTAY0 967
tarski/fstrips/fstrips.py sha256=3fMBaL-LC_xqmq_tXiZK7IYq37n9vF60MFpsty-k2FA 11218
tarski/fstrips/ops.py sha256=70O0f0HCihP7FeuGl8OHq2ien_9kZHY3Rvtf51F8uZE 3940
tarski/fstrips/problem.py sha256=Ilx_z2N_wIUvp0zVRWe0MzgkUoOJk7m50Sb7AnTOVVk 3896
tarski/fstrips/representation.py sha256=cqtcsNcWB55TK6tdmgePsU28f55r1T6dP_yD_pk8-mc 23377
tarski/fstrips/visitors.py sha256=_xzPqkvKX8mw3FBJ2WyIAHpN_N3h-84BdTVXwvJjxrM 4598
tarski/fstrips/walker.py sha256=lMNDCBBXsNmIdAdZOis5BTjtop8HdJ4PF1voaT4W7ac 6357
tarski/fstrips/contingent/__init__.py sha256=6Y8TnZzKV_XOuuhkFBeceCICLpBkDM8T7L0MV1GcD7w 127
tarski/fstrips/contingent/errors.py sha256=aoatT45hG67xf166v-NsCPCu95RX0jo8yxRhPlP7D6c 604
tarski/fstrips/contingent/problem.py sha256=SSOTmDpW2CueLwblXCzNlykNZzdqBj1ljRt4Z5oJgtI 1144
tarski/fstrips/contingent/sensor.py sha256=btypDccBVln78WFPI3BU4s5NTlFdJYPab9pskPWrhug 1403
tarski/fstrips/hybrid/__init__.py sha256=sfp90msJJkIfBq6xM_0PvCxYsRYTUvK4uaAApDAXv6E 170
tarski/fstrips/hybrid/differential_constraints.py sha256=QElUQl-SjHb1QohqXz_cI4OmRhJOR4trhKaTdCnuUGM 1503
tarski/fstrips/hybrid/errors.py sha256=sAuCzL0SLWFPJKr_WzJnECbk5Lf1lq1gcDwjPsW9r5A 536
tarski/fstrips/hybrid/problem.py sha256=CdrOqsMLvYii4LDYne6kRdXTkMuUzkvrzIY_Cgi6Yk4 2659
tarski/fstrips/hybrid/reaction.py sha256=_Rr9ceKGNId-JBNpFN-tQG36DtRY775nJKoCWebyKMc 969
tarski/fstrips/manipulation/__init__.py sha256=zZR5nZ1Zwjrjoj1IX4qCuxZz2gp_2K0XOVKYpFwnvwY 32
tarski/fstrips/manipulation/simplify.py sha256=83YQVmYU5KgSDKHhb9NNcZPnOUHiII5xnDGrHQdXT0I 11063
tarski/fstrips/manipulation/types.py sha256=PJTzgGLkl4sjp616B_QQBsnKZhPebHxxmuEHJLOqbPA 949
tarski/funcsym/__init__.py sha256=vQslD9MbrFc0H2SymQtStvV4KMflsaj0Ur6FnZ88ptA 722
tarski/grounding/__init__.py sha256=h9qDFLgz0NOc9OcwbeaOsEKw10ePJlPUIx6lrbNYuBw 160
tarski/grounding/common.py sha256=qWLhjuzbyc3Who6AwAv5d3-Uw9ee5OMe6E4Yj2Jkb4A 1793
tarski/grounding/errors.py sha256=hOdApOZj8SO8jTAUy87lam_CHwYWsHTLB7Hbjv7TrHA 426
tarski/grounding/lp_grounding.py sha256=Orz0LMGflXXMuMcoR9pfjhhNuCO69zJ2gOCXULrbh-g 4839
tarski/grounding/naive_grounding.py sha256=A574sPITwWT9oV2l_vmGodVuum8iohDMXbqfe60T6e4 7407
tarski/grounding/ops.py sha256=ULk6vu2Ot80nEJpU8MUjHrG1Fm8IPBIyHJy3vHNYNu0 1471
tarski/grounding/naive/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/grounding/naive/constraints.py sha256=ZZ7iy4yboInWnERDh4LGbsf5kzPsd_jHUXvojzt_hcw 1997
tarski/grounding/naive/diff_constraints.py sha256=q7asF-HEzU4DshcWXodgreGxdDRvmrKiGo9x31mjl5o 1387
tarski/grounding/naive/instantiation.py sha256=84i5HbrV7v5vraopD0WmqAIgg91y0GAHbfxxR5cYln0 800
tarski/grounding/naive/reactions.py sha256=s7jsDz4M2ZCQRU9yidjU7zn-Gkf67FUr2b8vZXxH1Fg 1606
tarski/grounding/naive/sensors.py sha256=YyN77kHDopMOVo_fbp_31UjsofiFN7lW3JtJyiQKdOk 1348
tarski/grounding/naive/state_variables.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/io/__init__.py sha256=FOtygJjlTde33-rgWEEi6g9e2mSW1AKk8YuGgGbdQY8 175
tarski/io/common.py sha256=ez-SJM67mshilbrQimjJbzqjUhziaUv6Hwpw7AeLR44 214
tarski/io/fstrips.py sha256=S1BUxhICne13VFrtq8-PHRYuXI0ev8v4C9s_2etohQc 15979
tarski/io/rddl.py sha256=sEAM1q3szFZyrXs-YaZcms8GFSdXPQn5b-RNSkou8fo 26235
tarski/io/utils.py sha256=xVwq5tLSvajmfCsZ_5VX83nPh3WVVwo986eorhxE3w8 809
tarski/io/_fstrips/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/io/_fstrips/common.py sha256=7gxV4tNGJQwWkDJZDSeHogE7levosnyQjweK-GPQalU 6251
tarski/io/_fstrips/reader.py sha256=GeNgdsepIy6MSlFCDJR8QmtUyp4-AILLpIyH_LRJNsA 20568
tarski/io/_fstrips/parser/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/io/_fstrips/parser/lexer.py sha256=_hhEVqlivwwqVTaFsN4GFrP4fgN0S2Ity1n9OhAKDZ0 46033
tarski/io/_fstrips/parser/listener.py sha256=hVjspaU3T5Aly33X_RjC1A4sDmE3yrGWiVkFY45h96I 37764
tarski/io/_fstrips/parser/parser.py sha256=BsdmNxBrmbpciJKr0uKf0WIgcQhjmq95rdQdPr1574g 265987
tarski/io/_fstrips/parser/visitor.py sha256=kxy9mCX_Nk42oNn2tV6RhgxRMZF6Cn0cB3lUt1sePrg 22257
tarski/io/pddl/__init__.py sha256=Tm1DnKgjuMGqZdpm3LGPx6jVvt7PzVO52Aeabuk6krg 1221
tarski/io/pddl/errors.py sha256=I6boJg_U1caGMAVlKG9kl1alE29LPmtzHC5LK-Mfi7I 1115
tarski/io/pddl/instance.py sha256=-k5ioRtFZpKKi7yj8WLBg_yPJgLtqyaHSbnGND8f5JQ 12276
tarski/io/pddl/lexer.py sha256=9LBsOghqdcekwo1jZ-5TpkgeaznUOPzaFzPwW5FmCeA 7633
tarski/io/pddl/parser.py sha256=oo39ORCg3RGKCgRoKvcg3PBNWZlLuvJwr-l8CEAh5b8 54804
tarski/io/sas/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/io/sas/fd.py sha256=0ZRThczjXXCNba1kOST9UmGVNoRSKK8OsSQ6Cl6QPKM 7882
tarski/io/sas/json.py sha256=Rw3YJ_AcEsfxRd8HAyS1yWxgY0wvHce5JJ3hBz-iobo 5278
tarski/io/sas/templates.py sha256=FUyLyutfbLrrBCNnqFNqyb5YICHASafDkHs_NhZdoBw 2483
tarski/io/templates/fstrips_domain.tpl sha256=hJP0DLg7yRgrZI5-OLcYzS5noxP4fABnVs_wNLUQ2MA 433
tarski/io/templates/fstrips_instance.tpl sha256=zlV81Uxhdp7L7oI48U6WLNVS9S98-cohB7H5Txz5vN4 394
tarski/io/templates/rddl_model.tpl sha256=k5iwSw7Lu-ekWxTG552FHQyiHP95xVoww92tjgwRBzQ 681
tarski/ndl/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/ndl/temporal.py sha256=qD8MTPC-dUpu4UWitBqqCuWcbFpXDT4jXtlQtmaFEwI 8154
tarski/rddl/__init__.py sha256=YFH9EfNF1tsui74ke2vUCirQYf-c5SleJt2AvdCOUCU 23
tarski/rddl/task.py sha256=JMSYQqYxVQFIaQWLUmJtBjZace6p4sEp9bO8EDea4Ck 1243
tarski/reachability/__init__.py sha256=ZwzjPU4kff-Th6VYPMmWAOUiqCC4AX2J20wknxBOki0 160
tarski/reachability/asp.py sha256=s1SNVZ-ZP5OOjQ8Ag4nrkih8g-0_bnviCMxKWAcTw5M 19661
tarski/reachability/clingo_wrapper.py sha256=Y0TdJOugAwcH_vW3PYetwHXxTQZ730koQG664x4voVc 3420
tarski/reachability/gringo.py sha256=DC8Z6bQiayVGuFuI7aJrhEuDkbhtjXwaNhn8ay69dBs 812
tarski/sas/__init__.py sha256=HqZLMsH-1D0OJZfjuYqHYU4S0GpHQV_-qiGKHqtk1IM 579
tarski/sas/temporal.py sha256=3FjBFipgw1MD_VOTrP8DfVwEVSsZMzIdVFVQhQ268WE 1067
tarski/sas/util.py sha256=UC7-OCKOvHOcM4RSmbsCSQeJWKVma_lIorZBcRNyIJo 4226
tarski/search/__init__.py sha256=0o6vYewb0GeplJtLNdzqqk9-SHmFPqMk7gXbQRhnh-o 96
tarski/search/blind.py sha256=pTIftamMDDwTRFIEoiTtg7WMVutmeZRPPpEkhUDSr8c 2776
tarski/search/model.py sha256=Ji4rSBivMoc27bIEIoMzV04DQe8Tsfd3KVCYOJ1qv6A 1583
tarski/search/operations.py sha256=cjIKMTU2esFG2mRu6VKmAnHOErxGch5hDd0f-c1lVKE 1992
tarski/syntax/__init__.py sha256=R68-fzi3isXg8cUDk6iLcbmVrci78wIbJGwvfHi0IiU 676
tarski/syntax/builtins.py sha256=Qm2b3i5NbtWDecwMwij-ojkhF41D3LQKv2xWkWUT5FQ 3211
tarski/syntax/factory.py sha256=5ke6H_xtL2RCQBHbCMwoj5Om5rbud9rxsA_AQ1V7WIE 1273
tarski/syntax/formulas.py sha256=u16NzRSt3nRf5AB-lbdzRb9HVGiRXwqrgR_-GABL_tM 12599
tarski/syntax/function.py sha256=9rA5aYNiKgiLqeSMj-UqnZqK3ilzwZVoPJDt_cO9gKc 1654
tarski/syntax/ops.py sha256=AfO3cht7Fy1xSfK6XLYWEb46ZTXSt9jaaYzHzh6QSe8 5600
tarski/syntax/predicate.py sha256=pLadLdgXQ4D8MI8eXbaLEJJDEtNJ4JSOIUFexaZIcKU 1485
tarski/syntax/sorts.py sha256=ZiK24lee-FgdFd-ojUeNhtYT4so95l21mk8-IZ0GOqk 9545
tarski/syntax/symrefs.py sha256=gemlI_6VgIdbmkYunXTOfubxoWJPyxCRTiYfpeegOtY 1150
tarski/syntax/terms.py sha256=FTLFOk8M2pRp1cwFTANx7-YIqHMy8bu4GR5Vp2ysU4c 12244
tarski/syntax/util.py sha256=sbGdvfjHbaR0D-KmIuH1gA-mMXDeSBd2_ep1IorfhGw 1075
tarski/syntax/visitors.py sha256=n5coE0p1L4WPwfBmjrWkGEyoqjLSdOnPvkWblhCkjno 2850
tarski/syntax/walker.py sha256=G-99-JBG2E-NiLhzbH_i7_ByCi6ZZD_1qSw7UA5Hi2o 3403
tarski/syntax/algebra/__init__.py sha256=P6vyl6GuLZJs2fFCkUHHKFnGYygWAw_tLGnmKc4gqwM 27
tarski/syntax/algebra/matrix.py sha256=BKjVow95G8QJI9BzXhkPR6k8plBbhQBv01ADBvQ8wAk 2085
tarski/syntax/arithmetic/__init__.py sha256=3Kd9sk68_06cBZc2la0Y-J5jLCUh410sUYLcM-kjvuA 8794
tarski/syntax/arithmetic/random.py sha256=BK8sBrdof3NHM032ZV6d1WwRJOSnyT4X0ONz2bOSx7k 781
tarski/syntax/arithmetic/special.py sha256=oHAKGCTXNbrdKbD_FxfOu9Z7eKukqkg3gKBtvHD9FXs 1556
tarski/syntax/temporal/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tarski/syntax/temporal/ltl.py sha256=KShoakZtZ5CZHFTE_ThbaeRC_TErwZFax4OkgOXZra0 1943
tarski/syntax/transform/__init__.py sha256=pAdewkdImcHG-qJJtFkOU3TueBY6MWboOqloOiz1-LU 352
tarski/syntax/transform/action_grounding.py sha256=XWW2lk_aa09JvrxAOqE-x8Lp-IVvNJUmshH8fJ7gNH4 2921
tarski/syntax/transform/cnf.py sha256=hkU97kGi4DSUdI3Gt69Lm8RmZOOi6Iq3WVNECqgxwvo 4104
tarski/syntax/transform/errors.py sha256=TocJ6IkJDkUONCE31yCuBQvYvKvvYAtlShfRPr7S8T0 476
tarski/syntax/transform/neg_builtin.py sha256=IPgKl1-kwza_-LOPzhTH0M2iImqLJUVxfR1DdIw5BkQ 1647
tarski/syntax/transform/nnf.py sha256=Yk-O2cc4JV4yrgXlGa_hZbIpcnBwymXjnr-RqDz5A5A 2214
tarski/syntax/transform/prenex.py sha256=0hbYQBSvyKrC-Rk87pPDWsgG2sJEkVq3-_sPy2BgfLU 7179
tarski/syntax/transform/quantifier_elimination.py sha256=hBUA9P8Xo73Ux6UPGbU51fPW-LuQLrsB1bIkybsvFT0 3426
tarski/syntax/transform/simplifications.py sha256=a0pPvvmUM_AE34gaPebuhiNxXNE6auqJ1bAfzbUd6T8 2046
tarski/syntax/transform/substitutions.py sha256=9bLsDJirOYQzW4RgYFzKSmg718eqqpT-iuMjKQbpUSk 1695
tarski/utils/__init__.py sha256=R59AhQ9nwxVcbH0JxZoVn4kSAjKJPuOIESeLeIaF4T8 34
tarski/utils/algorithms.py sha256=EK6TBGJLDyrS9HOOoZ-eBNfb6trPnylF5DAxIwZUyxA 1292
tarski/utils/command.py sha256=O1gDBl26ryYPNBBNSxlCkZKce4RBKX5XyelJr2AKMwM 2055
tarski/utils/hashing.py sha256=zrDMyQY25ubCkO-0g5Xih1rnIOm0JohU9DPvr5W1apY 676
tarski/utils/helpers.py sha256=sDg-gVsEZ27SznzQY9RzpXwr-iOv19gdn2zuzhNO1ak 623
tarski/utils/resources.py sha256=8X38xXmRjK2wTVhyocofdGx-wHq_usLD2-taXAzNqmk 1701
tarski/utils/serialization.py sha256=XHPk0t2cwC2yeVj61aAA_2ZU-blDBqyTZEpLOFSlm4g 294
tarski-0.8.2.dist-info/LICENSE sha256=WNHhf_5RCaeuKWyq_K39vmp9F28LxKsB4SpomwSZ2L0 11357
tarski-0.8.2.dist-info/METADATA sha256=caZwiTUsfoJK0jtXAeYSYGBQ_VGA9rWzQEdm3jEflXU 4256
tarski-0.8.2.dist-info/WHEEL sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA 92
tarski-0.8.2.dist-info/top_level.txt sha256=FcRApTEbXpGtMBAaWhYka6S5xzdT8jp-BFG74ntZ2ek 7
tarski-0.8.2.dist-info/RECORD — —

top_level.txt

tarski