Wheelodex » Projects » smcplaus

smcplaus

View on PyPI — Reverse Dependencies (0)

1.1.5 smcplaus-1.1.5-py3-none-any.whl

Wheel Details

Project: smcplaus
Version: 1.1.5
Filename: smcplaus-1.1.5-py3-none-any.whl
Download: [link]
Size: 16305
MD5: 0d85ed74dfa20ce237da7b601a98a7c1
SHA256: ed9da10f21d87c56f5c4cff5ef9a1443e227907222d6a9cf1517508ea6288ef7
Uploaded: 2024-01-08 15:26:53 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: smcplaus
Version: 1.1.5
Summary: A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic
Author: David Alvarez Lombardi
Author-Email: dqalombardi[at]proton.me
Maintainer: David Alvarez Lombardi
Maintainer-Email: dqalombardi[at]proton.me
Home-Page: https://gitlab.com/dqalombardi/smcplaus
Project-Url: Repository, https://gitlab.com/dqalombardi/smcplaus
License: MIT
Keywords: belief revision,dynamic epistemic logic,logic,plausibility,symbolic model checking
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.11,<4.0
Requires-Dist: graphviz (<0.21.0,>=0.20.1)
Description-Content-Type: text/markdown
[Description omitted; length: 4508 characters]

WHEEL

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

RECORD

Path Digest Size
smcplaus/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
smcplaus/constants.py sha256=K-7eZLqpe71oh9WwL8-fEP8-1vGbNH9DUtlK2K6Wlfs 342
smcplaus/exceptions.py sha256=2-LSRk1nhljRYq6hnShhZ0FeGIqSV85ifhhscL4zvR8 622
smcplaus/language/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
smcplaus/language/connectives.py sha256=Z3Jb_YHJU3SABfHcQmOgxOQ6itOmDQRxeSUQXhGWYxE 983
smcplaus/language/formula.py sha256=SudsT8yYteFVDloMBSrGCj2qrTYw6pd1ZzNo4H4uTDY 4415
smcplaus/language/propositional_variable.py sha256=GR6gK_oZnX42Prw-lb-guZ1mPYhQkqyAZRVkrw6d8O8 2326
smcplaus/models/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
smcplaus/models/plausibility_frame.py sha256=bMiF1TqU1Tv0OKbuPLth82I4_-3yIF83I_X69OO8HLE 12191
smcplaus/models/plausibility_model.py sha256=HxcdjhY9aXXy3_gypuxkTKgDm3lHGNWX2fAn8ORTtH0 14199
smcplaus/models/state.py sha256=oVsSBc-xTTg1nkjicWFubDJi2wuV09RFs36NiigxYh8 1312
smcplaus/protocols/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
smcplaus/protocols/digraph_representable_structure.py sha256=I473Ox3hasFm-yF7dME0sbJP2u1VRmPfeEqBJhjZb0Q 1017
smcplaus/protocols/json_serializable_structure.py sha256=zfUBJ8MEdvDKGSYLBig6c0O2Pf770Oxl45Ej8xC1tN0 1574
smcplaus/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
smcplaus-1.1.5.dist-info/LICENSE sha256=u06o4BaoxXAvGxsyZUt2NUJgmNI7UdugyhWc3s_JJkg 1066
smcplaus-1.1.5.dist-info/METADATA sha256=3FxEKGk738bJ5LRr1Cv-HHCLTX_U8UjRrfZWmzCwI6c 5340
smcplaus-1.1.5.dist-info/WHEEL sha256=FMvqSimYX_P7y0a7UY-_Mc83r5zkBZsCYPm7Lr0Bsq4 88
smcplaus-1.1.5.dist-info/RECORD — —