Wheelodex » Projects » modelator-py

modelator-py

View on PyPI — Reverse Dependencies (1)

0.2.6 modelator_py-0.2.6-py3-none-any.whl

Wheel Details

Project: modelator-py
Version: 0.2.6
Filename: modelator_py-0.2.6-py3-none-any.whl
Download: [link]
Size: 111108
MD5: 541de466342aea3e82f34dff822a56a4
SHA256: d43f9a9c396f3836d5f1896228ed051f6c2ad6cb476a5528c8f13e92abb2add1
Uploaded: 2022-11-18 09:22:25 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: modelator-py
Version: 0.2.6
Summary: Lightweight utilities to assist model writing and model-based testing activities using the TLA+ ecosystem
Author: Daniel Tisdall
Author-Email: daniel[at]informal.systems
Home-Page: https://mbt.informal.systems/
Project-Url: Documentation, https://github.com/informalsystems/modelator-py/
Project-Url: Repository, https://github.com/informalsystems/modelator-py/
Keywords: utility,tla,tlaplus,tlc,apalache
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Requires-Python: >=3.8,<4.0
Requires-Dist: fire (<0.5,>=0.4)
Requires-Dist: infix (<2.0,>=1.2)
Requires-Dist: pathos (<0.4,>=0.3)
Requires-Dist: ply (<4.0,>=3.11)
Description-Content-Type: text/markdown
[Description omitted; length: 2653 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.3.2
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
modelator_py/__init__.py sha256=Oz5HbwHMyE87nmwV80AZzpkJPf-wBg7eDuJr_BXZkhU 22
modelator_py/apalache/__init__.py sha256=JHnWaJdXYpgjsAO4UuzQIh6UIRsPY-da_toHM7v6l_U 301
modelator_py/apalache/apalache_help_0.23.0.txt sha256=VmEPMfQj5DbyV7SEHxwlSmq9gfqtxSzmHizI0f17jWU 4851
modelator_py/apalache/args.py sha256=jJ7X0brKoZ7gLuTNDE8nPuBIBy_6WlapFbC52k5gbJs 4273
modelator_py/apalache/cli.py sha256=KeDIM5TBI8MNZPBnBrqlMAdl8WlMCM0K67nxdZj_UWQ 5932
modelator_py/apalache/pure.py sha256=dw4SYeH8K3QICXPabszDUL34ZfA9NRFBY9TZr7eDkls 4657
modelator_py/apalache/raw.py sha256=5iCxULqApghT7cC6HCVoZiX3GJIxFcgzA-55BanbDJs 5165
modelator_py/cli.py sha256=vMFMU3lBiUscBqjjoxtTQot2-CGDUm2P799pPh1KTUg 1128
modelator_py/helper.py sha256=tzof_deCa1OGCU3hklYEC5NNshZoL0hBG26Ls52KIJQ 1431
modelator_py/tlc/__init__.py sha256=Dc2ECJVtLbfU7LE-oXv2zjC8jXCiWnaA7ZMyBKadd9U 228
modelator_py/tlc/args.py sha256=uu1OUVE8rWEkzSK6sXBrj6PTy5cOQ7SlLpPUp-r0pTE 1125
modelator_py/tlc/cli.py sha256=MTmu4TMvIk48eRd9VpV0yysGZRwPRix_y_yUA9hyqX0 5525
modelator_py/tlc/pure.py sha256=oZAziUbAVzdqugJ6qpDj4C2iRvPsyPjz4JUclBP_0Cw 2491
modelator_py/tlc/raw.py sha256=HkXsExpCPpsoi-_j70sO1Rn4TziHog79R506ORicB2s 4490
modelator_py/tlc/tlc_help_2.18.txt sha256=AaHwxdbt8JA80E5xddYw07gmBiLahcwRYYUaw6bk_BI 7816
modelator_py/util/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
modelator_py/util/cli.py sha256=KIulVS_ztnYZXaxPYvKFFcyNLdjppkRhGz2RzatiG3g 128
modelator_py/util/informal_trace_format.py sha256=ykNyExt_EYgF4kd0P5WCkciqhqMJCqytn61lD4U0bd4 6790
modelator_py/util/tla/LICENSE sha256=gfo0gVhLaeKlZ5rGRrJV1pr_nsSRpRUZa8iiT-xNrdA 1650
modelator_py/util/tla/README.md sha256=MxFGiqH8P_unGiBz3QxnAOPOO-sJ5hxesu6qhCexsWo 115
modelator_py/util/tla/README_license.md sha256=Z9wX2Wt0o4NmmlwpwcH4Dia8x2eHLyJx2GLqetafHU0 111
modelator_py/util/tla/__init__.py sha256=EkGG6cH_pWLB03DzNZNjpi4eUuAsOqF_xJhirelfhPM 108
modelator_py/util/tla/_combinators.py sha256=tuzrFUVMezzGGGj9ia6xvg8Wn-7IQkhaaYinw6tVTYY 40771
modelator_py/util/tla/_error.py sha256=sIuh3CbYdolQWMSE0NsfUVZDp8fvpxDXdiN9E1l9Sq4 4922
modelator_py/util/tla/_expr_parser.py sha256=_HfvbCgeruch2f6jDDvM8ZT8kjAs3HNaXGQTij4npU4 87327
modelator_py/util/tla/_intf.py sha256=YrTqqZtydXZP3rgMZDzA9Kqfpd_hkahKUH6DA29FbFU 2200
modelator_py/util/tla/_location.py sha256=6uPqur8-YrSgkIXbShV52eH-QRY6__lzsyCYUyG739Y 7276
modelator_py/util/tla/_module_parser.py sha256=MNNHYzr1HeIJlBno3lXLzFVUf5RLV_TkrV4jvLVsgqo 11731
modelator_py/util/tla/_optable.py sha256=7RRnxw3YUPpox4lWwAfaXHFuCS8J2mMHH1dyB7CkCvI 19822
modelator_py/util/tla/_proof_parser.py sha256=Y2JRVUug_xWEpIkUuKPZ_HRtgfmb2X692gZIH6wQCsI 30133
modelator_py/util/tla/_tla_combinators.py sha256=EHbSH2OlJ-uO9dVc_I_p3X9yGCy0sbcZYGUDflL4b7Y 6870
modelator_py/util/tla/ast.py sha256=ejNvEMNrW5JCyyyz5-QYawdQBlmVHnwKIsMfBQURJ74 24094
modelator_py/util/tla/examples/Counter.tla sha256=4mLgrkyLPfusOHCxk7R4huiMg2fivFY_yogM0pOFpwM 200
modelator_py/util/tla/examples/README.md sha256=Ls6wZQMU5RDSOqX8oNGHgsN9jRYmatVxBaPjuICVnk4 277
modelator_py/util/tla/examples/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
modelator_py/util/tla/examples/parsing_tla_expressions.py sha256=1-OTCkdXBByMYx5oWvMNhypaOsymttv0-vQYslDMMGg 569
modelator_py/util/tla/examples/parsing_tla_modules.py sha256=rLH2QDkQo4hB4O3oP4t5O8FyKhVhs4ZJHRN6f2D4rpU 766
modelator_py/util/tla/examples/syntax_tree_visitor.py sha256=mdtDnduA6NPx24qaEBx-FmOoK0gqEeYY5cMxi_rj1tg 716
modelator_py/util/tla/iter.py sha256=2NfvqqkMzYYYyXA7-4LKpmSRZfDNgjGnm92eKeOKPzQ 24911
modelator_py/util/tla/lex.py sha256=gdG-pcyiA2XqMtQLtUN_pTbU8HTEarudsqwOO84G9j0 18715
modelator_py/util/tla/parser.py sha256=amdipHwHK_8FQkuIs6I4Fe-bvINg-HnFE7qteWPSHYo 2413
modelator_py/util/tla/to_str.py sha256=glwazPkiFPEgxq6NGNGc8koZKFzdQG86vMCU-ZKV85k 50071
modelator_py/util/tla/tokens.py sha256=cGCD6E_V4Pa9mrclIHC7knYMU8d_6rPE0T-mRss4eyo 8461
modelator_py/util/tla/visit.py sha256=eT4oqf4GXNx-S0cl_AX8DUToJuOFGaU8RXb6XISIQDE 25311
modelator_py/util/tlc/__init__.py sha256=z8TiNnZh7-K-Drsv89ZBgHsWTjjqZ4BBLmDBQJu7ke0 72
modelator_py/util/tlc/cli.py sha256=MNskMiJcn9wwyZG5xyXzbbXX_SGVVRZylbdXkB3LGe4 1560
modelator_py/util/tlc/itf.py sha256=XgNBtFEv4JSX1tHJHtz6vp9BurdYeAiMXbkNbswDixw 1680
modelator_py/util/tlc/state_to_informal_trace_format.py sha256=_-5zZdC0jIKmlI5Gdcqz79R39oukepHM8aeuYf4-KfM 5236
modelator_py/util/tlc/stdout_to_informal_trace_format.py sha256=SB4cWUFrudkTgmQPJodr9XPQwV7beO6uB2bwlVTil7s 5629
modelator_py-0.2.6.dist-info/entry_points.txt sha256=DcTpu3fUey20Si5DFq1u36-iPVpToc0MAskYJDQ2teQ 50
modelator_py-0.2.6.dist-info/LICENSE sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ 11357
modelator_py-0.2.6.dist-info/WHEEL sha256=vxFmldFsRN_Hx10GDvsdv1wroKq8r5Lzvjp6GZ4OO8c 88
modelator_py-0.2.6.dist-info/METADATA sha256=DQaGLn1H4CUESH-q3b9v3SCI90bdl522xIiqGzHIDYo 3583
modelator_py-0.2.6.dist-info/RECORD — —

entry_points.txt

[console_scripts]
modelator = modelator_py.cli:cli