name: pynusmv-tools
description: Tools, examples and experiments that showcase the potential uses for PyNuSMV
license_spdx: Other
version: 1.0rc10
spec_version: 1.0
home_url: http://lvl.info.ucl.ac.be/Tools/PyNuSMV
news_url: https://libraries.io/pypi/pynusmv-tools/versions.atom
date: 2017-11-09
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/pynusmv-tools?number=1.0rc10
