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