{"package": "nbmc", "summary": "Executes Yosys BMC and renders counterexample as SVG", "pypi_url": "https://pypi.org/project/nbmc", "piwheels_url": "https://www.piwheels.org/project/nbmc", "releases": {"0.0.4": {"released": "2020-12-18 03:23:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"nbmc-0.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/nbmc/nbmc-0.0.4-py3-none-any.whl", "filehash": "187db4c94389f6b79b5eefc1b1e631c10d04fb52f0b114f6bc66ab442088f90f", "filesize": 3555, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["nmigen", "parse", "pydigitalwavetools", "wavedrom", "yowasp-yosys", "z3-solver"]}}}, "0.0.3": {"released": "2020-12-18 03:06:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"nbmc-0.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/nbmc/nbmc-0.0.3-py3-none-any.whl", "filehash": "7356e10044737cd2aab020b8e49b03617f816af370ff0d87be73617731e22594", "filesize": 3552, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["nmigen", "parse", "pydigitalwavetools", "wavedrom", "yowasp-yosys", "z3-solver"]}}}, "0.0.2": {"released": "2020-12-16 06:00:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"nbmc-0.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/nbmc/nbmc-0.0.2-py3-none-any.whl", "filehash": "483bcc389096fa36fb4373afa4b4568a29575e663cf8cdbeea5ba208481da62f", "filesize": 3369, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["parse", "pydigitalwavetools", "wavedrom", "yowasp-yosys", "z3-solver"]}}}, "0.0.1": {"released": "2020-12-16 05:55:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"nbmc-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/nbmc/nbmc-0.0.1-py3-none-any.whl", "filehash": "595d89564809e8759dc2c6222f40712e715135aaa642dd196bea7bd13b7d621f", "filesize": 3362, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["parse", "pydigitalwavetools", "wavedrom", "yowasp-yosys", "z3"]}}}, "0.0.0": {"released": "2020-12-16 02:34:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"nbmc-0.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/nbmc/nbmc-0.0.0-py3-none-any.whl", "filehash": "3f3a46575d86d18c5316203ffd8e4affa00ec6f6e9c9c59fc42588687f3b214b", "filesize": 2144, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["wavedrom", "yowasp-yosys"]}}}}}