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