Reverse Dependencies of pynusmv

The following projects have a declared dependency on pynusmv:

• pynusmv-community — Tools to analyze and understand the community structure of BMC instances
• pynusmv-tools — Tools, examples and experiments that showcase the potential uses for PyNuSMV