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