name: pynusmv-community
description: Tools to analyze and understand the community structure of BMC instances
version: 1.0rc1
spec_version: 1.0
home_url: http://lvl.info.ucl.ac.be/Tools/PyNuSMV-community
news_url: https://libraries.io/pypi/pynusmv-community/versions.atom
date: 2017-08-11
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/pynusmv-community?number=1.0rc1
