Collecting pynusmv-tools==1.0rc7
Downloading pynusmv_tools-1.0rc7-py3-none-any.whl (266kB)
Saved /tmp/tmppszefa7b/pynusmv_tools-1.0rc7-py3-none-any.whl
Skipping pynusmv-tools, due to already being wheel.