Metadata-Version: 2.1
Name: nbmc
Version: 0.0.2
Summary: Executes Yosys BMC and renders counterexample as SVG
Home-page: https://github.com/nturley/nmbc
Author: Neil Turley
Author-email: neilpturley@gmail.com
License: MIT
Description: # nbmc
Platform: UNKNOWN
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Description-Content-Type: text/markdown
