Python项目简述:将nusmv作为python库嵌入
Python pynusmv项目包的下载文件:
为您的平台下载该文件。如果您不确定选择哪个,请了解更多 安装包指南.
文件名 & 大小 | 文件类 型 | Python版本 | 上传日期 | 详情页 |
---|---|---|---|---|
pynusmv-1.0rc8-cp34-cp34m-macosx_10_12_x86_64.whl [ 2.9 MB ] | Wheel | cp34 | Apr 12, 2017 | Hashes 查 看 |
pynusmv-1.0rc8-cp34-cp34m-manylinux1_x86_64.whl [ 8.6 MB ] | Wheel | cp34 | Apr 12, 2017 | Hashes 查 看 |
pynusmv-1.0rc8-cp35-cp35m-macosx_10_12_x86_64.whl [ 2.9 MB ] | Wheel | cp35 | Apr 12, 2017 | Hashes 查 看 |
pynusmv-1.0rc8-cp35-cp35m-manylinux1_x86_64.whl [ 8.6 MB ] | Wheel | cp35 | Apr 12, 2017 | Hashes 查 看 |
pynusmv-1.0rc8-cp36-cp36m-macosx_10_12_x86_64.whl [ 2.9 MB ] | Wheel | cp36 | Apr 12, 2017 | Hashes 查 看 |
pynusmv-1.0rc8-cp36-cp36m-manylinux1_x86_64.whl [ 8.6 MB ] | Wheel | cp36 | Apr 12, 2017 | Hashes 查 看 |
pynusmv-1.0rc8.tar.gz [ 4.2 MB ] | Source | None | Apr 12, 2017 | Hashes 查 看 |