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