Wheelodex » Projects » tlaplus-state-graph-utils

tlaplus-state-graph-utils

View on PyPI — Reverse Dependencies (0)

0.2.0 tlaplus_state_graph_utils-0.2.0-py3-none-any.whl

Wheel Details

Project: tlaplus-state-graph-utils
Version: 0.2.0
Filename: tlaplus_state_graph_utils-0.2.0-py3-none-any.whl
Download: [link]
Size: 24841
MD5: 575b7ad3c32128e0c28de59bc4d59b8e
SHA256: 1b58250bd3fb3426dff1cc0731984eacc0ee74df7baf9e09382b42391efdfa3e
Uploaded: 2024-10-19 04:03:34 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.3
Name: tlaplus-state-graph-utils
Version: 0.2.0
Summary: Utilities for working with TLA+ state graphs
Project-Url: Repository, https://github.com/smheidrich/tlaplus-state-graph-utils.py
Requires-Python: >=3.12
Requires-Dist: py-d2 (<2,>=1.0.1); extra == "d2"
Requires-Dist: tree-sitter-tlaplus (<2,>=1.3.6); extra == "d2"
Requires-Dist: tree-sitter (<0.24,>=0.23.0); extra == "d2"
Requires-Dist: tree-sitter-tlaplus (<2,>=1.3.6); extra == "parse-state"
Requires-Dist: tree-sitter (<0.24,>=0.23.0); extra == "parse-state"
Provides-Extra: d2
Provides-Extra: parse-state
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 9279 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.25.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
tlaplus_state_graph_utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tlaplus_state_graph_utils/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tlaplus_state_graph_utils/cli/__init__.py sha256=iaU0ZereD5kXEY7y4EMpx1cFiEp0Kjw_yk5oTyydSi8 289
tlaplus_state_graph_utils/cli/convert.py sha256=sHa9ibmi4EUOiovOcf27sfO5c0grR42e_YtLcNIS9go 7432
tlaplus_state_graph_utils/cli/root.py sha256=ypwjAJawuHGnX70LLEVnFWCdUWGpsTaU_n2TT7xy8gg 372
tlaplus_state_graph_utils/format_determination/__init__.py sha256=cA-sk2emp00wCtURb4St1pMensPvjemhwCCP501-rHA 610
tlaplus_state_graph_utils/format_determination/formats.py sha256=B_-ss4Jany8Hf1aWqCgoAJm9_GRf6ReSqe3sUjMtrQ4 184
tlaplus_state_graph_utils/format_determination/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tlaplus_state_graph_utils/format_determination/utils/io.py sha256=3D3GUOs-W3svejyzeNAW4ta7dE678iMZcydH0LuvIDo 821
tlaplus_state_graph_utils/graph/__init__.py sha256=QroIFrjik6cMNbsnsi1S1LqQvwhgPFcjQRP6-o-i8CM 71
tlaplus_state_graph_utils/graph/any_to_model.py sha256=oCqBboQWXxfzsRurCgHYYK0pje-G4z8mkxGrW9k2sl4 1509
tlaplus_state_graph_utils/graph/dot_json_to_model.py sha256=oLDC8wgNTEB216Ar0UZF2W9iQQDZ6pzj1w5_KE1DiJQ 1435
tlaplus_state_graph_utils/graph/dot_json_to_reasonable_json.py sha256=sBOUVJsfstp2iCOZQiCsPYJli9cT_Aosh7LjK_f2XI0 441
tlaplus_state_graph_utils/graph/model.py sha256=FOkSY3A6eejCw9wxrLBHyr6LN_CuHyczkY7PUZDfX64 320
tlaplus_state_graph_utils/graph/model_to_d2.py sha256=hrBXLrDk5J5c2wiBzYMyppSNWWMWmOW0t4mBuu-oS2Y 4326
tlaplus_state_graph_utils/graph/model_to_reasonable_json.py sha256=j41N1HIptsowhXXp48ZYNLbvUkBuVX203Rebr0LBo-Q 2001
tlaplus_state_graph_utils/graph/reasonable_json_to_model.py sha256=fAoF3HVYEOdeT_hO42-5EY7CUMhAdL1uiT89YglgMbg 1131
tlaplus_state_graph_utils/state/__init__.py sha256=c1E6JPoioVMUB5TObCrE7YQo3Gn1oaQgf59_cNRI-44 224
tlaplus_state_graph_utils/state/model.py sha256=t-pxR6AmPt6n7HsECvjng5Kq8X8uQAb92itnDPdEUAc 464
tlaplus_state_graph_utils/state/model_to_d2.py sha256=te5JhOUqrCLoOI_pDnggr-vSg2EwOgusFGrhHb0hUrk 5211
tlaplus_state_graph_utils/state/model_to_itf.py sha256=4rT6C7E1Zjg6qViK0tZ_P3sGILEuq4GGOMjRgMkfVKs 1135
tlaplus_state_graph_utils/state/model_to_reasonable_json.py sha256=0_fdlLt3vl8mkC8kCSPt17Pi1jws8T3gdmCn9m8AJNU 1443
tlaplus_state_graph_utils/state/model_to_simple_structured_json.py sha256=7yKW_u2regpsppJOA_Yka0asqjB4kHPC_lfouRz81Cs 1102
tlaplus_state_graph_utils/state/tlaplus_to_latex.py sha256=TPEuSPGkt9fy71DF74UQQo2-idHjzUBU45sqIFoWxW4 534
tlaplus_state_graph_utils/state/tlaplus_to_model.py sha256=9GAe8VI-gQ6CXL5psWX1hzCGa3DeNiZDSY4Hu-35kd0 9102
tlaplus_state_graph_utils/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tlaplus_state_graph_utils/utils/jsonish.py sha256=bknuZPzaen99MdC4uasJx1S50SF_uY0vhDh04lvYaYE 123
tlaplus_state_graph_utils/utils/package_extras.py sha256=wXoDpdtSk0SJHWZW8OClfMdZICOc6xH6ZvxYQh07m3M 476
tlaplus_state_graph_utils-0.2.0.dist-info/METADATA sha256=Smk09moS3ABpD_eCM_Xc72NbDmyVikwvwJp674Dkous 9916
tlaplus_state_graph_utils-0.2.0.dist-info/WHEEL sha256=1yFddiXMmvYK7QYTqtRNtX66WJ0Mz8PYEiEUoOUUxRY 87
tlaplus_state_graph_utils-0.2.0.dist-info/entry_points.txt sha256=cF-RrDiNymtVKq0wC23AH649nulCRrDKKUnv_6AWNSk 84
tlaplus_state_graph_utils-0.2.0.dist-info/licenses/LICENSE sha256=awOCsWJ58m_2kBQwBUGWejVqZm6wuRtCL2hi9rfa0X4 1211
tlaplus_state_graph_utils-0.2.0.dist-info/RECORD — —

entry_points.txt

[console_scripts]
tlaplus-state-graph-utils.py = tlaplus_state_graph_utils.cli:main