PyPI page
Home page
Author:
Angelo Ferrando
Summary:
The VITAMIN model checker python package
Latest version:
1.5
Required dependencies:
altair
|
antlr4-python3-runtime
|
anyio
|
anytree
|
appnope
|
argon2-cffi
|
argon2-cffi-bindings
|
asttokens
|
attrs
|
automata-lib
|
babel
|
backcall
|
beautifulsoup4
|
binarytree
|
bleach
|
blinker
|
cachetools
|
certifi
|
cffi
|
charset-normalizer
|
click
|
colormath
|
commonmark
|
contourpy
|
cycler
|
debugpy
|
decorator
|
defusedxml
|
entrypoints
|
executing
|
fastjsonschema
|
fonttools
|
forbiddenfruit
|
gitdb
|
gitpython
|
graphviz
|
htbuilder
|
idna
|
importlib-metadata
|
ipykernel
|
ipython
|
ipython-genutils
|
iteration-utilities
|
jedi
|
jinja2
|
json5
|
jsonschema
|
jupyter-core
|
jupyter-server
|
jupyter_client
|
jupyterlab
|
jupyterlab-pygments
|
jupyterlab_server
|
kiwisolver
|
lxml
|
markupsafe
|
matplotlib
|
matplotlib-inline
|
mistune
|
nbclassic
|
nbclient
|
nbconvert
|
nbformat
|
nest-asyncio
|
networkx
|
notebook
|
notebook-shim
|
numpy
|
packaging
|
pandas
|
pandocfilters
|
parso
|
pexpect
|
pickleshare
|
pillow
|
ply
|
prometheus-client
|
prompt-toolkit
|
protobuf
|
psutil
|
ptyprocess
|
pure-eval
|
pyarrow
|
pycparser
|
pydeck
|
pydot
|
pygments
|
pympler
|
pyparsing
|
pyrsistent
|
python-dateutil
|
pytz
|
pytz-deprecation-shim
|
pyzmq
|
requests
|
rich
|
semver
|
send2trash
|
six
|
smmap
|
sniffio
|
soupsieve
|
stack-data
|
streamlit
|
terminado
|
tinycss2
|
toml
|
tomli
|
toolz
|
tornado
|
traitlets
|
typing_extensions
|
tzdata
|
tzlocal
|
urllib3
|
validators
|
visual-automata
|
wcwidth
|
webencodings
|
websocket-client
|
zipp
Downloads last day:
71
Downloads last week:
583
Downloads last month:
648