Metadata-Version: 2.1
Name: vitamin-model-checker
Version: 1.5
Summary: The VITAMIN model checker python package
Author: Angelo Ferrando
Author-email: angelo.ferrando42@gmail.com
Requires-Dist: altair==5.2.0
Requires-Dist: antlr4-python3-runtime==4.8.0
Requires-Dist: anyio==3.6.1
Requires-Dist: appnope==0.1.3
Requires-Dist: argon2-cffi==21.3.0
Requires-Dist: argon2-cffi-bindings==21.2.0
Requires-Dist: asttokens==2.0.8
Requires-Dist: attrs==22.2.0
Requires-Dist: automata-lib==6.0.2
Requires-Dist: Babel==2.10.3
Requires-Dist: backcall==0.2.0
Requires-Dist: beautifulsoup4==4.11.1
Requires-Dist: bleach==5.0.1
Requires-Dist: blinker==1.7.0
Requires-Dist: cachetools==5.3.2
Requires-Dist: certifi==2022.12.7
Requires-Dist: cffi==1.15.1
Requires-Dist: charset-normalizer==3.3.2
Requires-Dist: click==8.1.3
Requires-Dist: colormath==3.0.0
Requires-Dist: commonmark==0.9.1
Requires-Dist: contourpy==1.0.5
Requires-Dist: cycler==0.11.0
Requires-Dist: debugpy==1.6.3
Requires-Dist: decorator==5.1.1
Requires-Dist: defusedxml==0.7.1
Requires-Dist: entrypoints==0.4
Requires-Dist: executing==1.0.0
Requires-Dist: fastjsonschema==2.16.2
Requires-Dist: fonttools==4.37.2
Requires-Dist: forbiddenfruit==0.1.4
Requires-Dist: gitdb==4.0.9
Requires-Dist: GitPython==3.1.27
Requires-Dist: graphviz==0.20.1
Requires-Dist: htbuilder==0.6.0
Requires-Dist: idna==3.4
Requires-Dist: importlib-metadata==6.11.0
Requires-Dist: ipykernel==6.15.3
Requires-Dist: ipython==8.5.0
Requires-Dist: ipython-genutils==0.2.0
Requires-Dist: iteration-utilities==0.11.0
Requires-Dist: jedi==0.18.1
Requires-Dist: Jinja2==3.1.2
Requires-Dist: json5==0.9.10
Requires-Dist: jsonschema==4.17.3
Requires-Dist: jupyter-core==4.11.1
Requires-Dist: jupyter-server==1.18.1
Requires-Dist: jupyter_client==7.3.5
Requires-Dist: jupyterlab==3.4.7
Requires-Dist: jupyterlab-pygments==0.2.2
Requires-Dist: jupyterlab_server==2.15.1
Requires-Dist: kiwisolver==1.4.4
Requires-Dist: lxml==4.9.1
Requires-Dist: MarkupSafe==2.1.2
Requires-Dist: matplotlib==3.6.0
Requires-Dist: matplotlib-inline==0.1.6
Requires-Dist: mistune==2.0.4
Requires-Dist: nbclassic==0.4.3
Requires-Dist: nbclient==0.6.8
Requires-Dist: nbconvert==7.0.0
Requires-Dist: nbformat==5.5.0
Requires-Dist: nest-asyncio==1.5.5
Requires-Dist: networkx==2.8.6
Requires-Dist: notebook==6.4.12
Requires-Dist: notebook-shim==0.1.0
Requires-Dist: numpy==1.24.2
Requires-Dist: packaging==23.0
Requires-Dist: pandas==1.5.3
Requires-Dist: pandocfilters==1.5.0
Requires-Dist: parso==0.8.3
Requires-Dist: pexpect==4.8.0
Requires-Dist: pickleshare==0.7.5
Requires-Dist: Pillow==9.2.0
Requires-Dist: prometheus-client==0.14.1
Requires-Dist: prompt-toolkit==3.0.31
Requires-Dist: protobuf==4.25.1
Requires-Dist: psutil==5.9.2
Requires-Dist: ptyprocess==0.7.0
Requires-Dist: pure-eval==0.2.2
Requires-Dist: pyarrow==14.0.2
Requires-Dist: pycparser==2.21
Requires-Dist: pydeck==0.8.0b3
Requires-Dist: pydot==1.4.2
Requires-Dist: Pygments==2.14.0
Requires-Dist: Pympler==1.0.1
Requires-Dist: pyparsing==3.0.9
Requires-Dist: pyrsistent==0.19.3
Requires-Dist: python-dateutil==2.8.2
Requires-Dist: pytz==2023.3
Requires-Dist: pytz-deprecation-shim==0.1.0.post0
Requires-Dist: pyzmq==24.0.0
Requires-Dist: requests==2.31.0
Requires-Dist: rich==13.7.0
Requires-Dist: semver==2.13.0
Requires-Dist: Send2Trash==1.8.0
Requires-Dist: six==1.16.0
Requires-Dist: smmap==5.0.0
Requires-Dist: sniffio==1.3.0
Requires-Dist: soupsieve==2.3.2.post1
Requires-Dist: stack-data==0.5.0
Requires-Dist: streamlit==1.24.0
Requires-Dist: terminado==0.15.0
Requires-Dist: tinycss2==1.1.1
Requires-Dist: toml==0.10.2
Requires-Dist: tomli==2.0.1
Requires-Dist: toolz==0.12.0
Requires-Dist: tornado==6.2
Requires-Dist: traitlets==5.4.0
Requires-Dist: typing_extensions==4.5.0
Requires-Dist: tzdata==2023.4
Requires-Dist: tzlocal==4.3.1
Requires-Dist: urllib3==2.1.0
Requires-Dist: validators==0.22.0
Requires-Dist: visual-automata==1.1.1
Requires-Dist: wcwidth==0.2.5
Requires-Dist: webencodings==0.5.1
Requires-Dist: websocket-client==1.4.1
Requires-Dist: zipp==3.17.0
Requires-Dist: binarytree==6.5.1
Requires-Dist: ply==3.11
Requires-Dist: anytree==2.8.0

VITAMIN is an open-source model checker tailored to the verification of Multi-Agent Systems (MAS). MAS descriptions are given by means of labelled transition systems.
