pynusmv-community

Tools to analyze and understand the community structure of BMC instances


Install
pip install pynusmv-community==1.0rc2