pynusmv-community

View on PyPIReverse Dependencies (0)

1.0rc2 pynusmv_community-1.0rc2-py3-none-any.whl

Wheel Details

Project: pynusmv-community
Version: 1.0rc2
Filename: pynusmv_community-1.0rc2-py3-none-any.whl
Download: [link]
Size: 182639
MD5: b855d73538f72f698be6e0d27bc574b9
SHA256: 93c074a826278377c1920bb0fadd438798efa92cda5804d337b5bb6edcda6072
Uploaded: 2017-10-12 13:09:26 +0000

dist-info

METADATA

Metadata-Version: 2.0
Name: pynusmv-community
Version: 1.0rc2
Summary: Tools to analyze and understand the community structure of BMC instances
Author: Xavier GILLARD
Author-Email: xavier.gillard[at]uclouvain.be
Home-Page: http://lvl.info.ucl.ac.be/Tools/PyNuSMV-community
Requires-Dist: argparse
Requires-Dist: cairocffi
Requires-Dist: concepts
Requires-Dist: matplotlib
Requires-Dist: pandas
Requires-Dist: pymining
Requires-Dist: pynusmv
Requires-Dist: python-igraph
Requires-Dist: wordcloud
[No description]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.29.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
pynusmv_community/__init__.py sha256=vptyvQfZ0ZHe9OVzfOs8UtJ6WsW0FtWgJcr8larkP-Q 190
pynusmv_community/cmdline.py sha256=sSEX6Yh9eJ8XFr-5rHRkZl-xOuAskAX6BoTG7N5mrrQ 6322
pynusmv_community/core.py sha256=tPBZKr_fOvPsMWUz9OpgW2k3uRGXdC2eFqq3rLylQKA 13862
pynusmv_community/dump.py sha256=ekB8_WHosY54hxmQiE6MQjzWIgNB7UR15_VgnZKXzUw 4974
pynusmv_community/main.py sha256=W5TyZK6rOW_4j-5Pj_rt5LH0s7XIRxFkyYtThgYdtO4 7315
pynusmv_community/mining.py sha256=nJaC2eIsh5lI0xwwc8oMKWi505D4XtwjYkrdUJYl6ig 5374
pynusmv_community/test_it.py sha256=FjuXYMDYW_EIFIT4wD1WM4A0TyQVKeTGSNj2goB40p4 1443
pynusmv_community/visualization.py sha256=hdxqiXVhDFAmWoM3Iy_b9zB-GdcsZWAEAeocCYBrdfk 7267
pynusmv_community/data/graph_vis/index.html sha256=u1W5xyd2VCj_lyD0Tf2Zl-5mm7zqNu5wst0jHLKp6FM 314
pynusmv_community/data/graph_vis/main.js sha256=2MQMdG2PemR2yduoDbrLakExeXpLMD6kwbXCmdDiVhA 9608
pynusmv_community/data/graph_vis/lib/d3.layout.cloud.js sha256=BGKvT9jFxAQ4Rr0dx3WglK4OM-OLetb2saGfcNtDkKk 14613
pynusmv_community/data/graph_vis/lib/d3.v4.min.js sha256=jJlsVPlSwQyGokYi0JgmrFRihc7ILE3Id8AB0dpr0JA 218926
pynusmv_community/data/graph_vis/styles/viz.css sha256=hX1DZMDkBwy7sGMNxi2ymDNHwlZEModMG5XPP2anM8o 220
pynusmv_community/data/table_vis/index.html sha256=oexrVhHUGzxQNWSAWb8HfkUgZq7feGNUWDrsDRgiQek 350
pynusmv_community/data/table_vis/main.js sha256=Vk4-mxui-JHM-xvZkxMGWkRCpO0WW76TZs70z4IjMfk 1710
pynusmv_community/data/table_vis/data/test.json sha256=jOBgXQ-qHKEcYLfpYUrunOWAc4vSXQea3PJMKvAUuGY 15275
pynusmv_community/data/table_vis/lib/d3.layout.cloud.js sha256=BGKvT9jFxAQ4Rr0dx3WglK4OM-OLetb2saGfcNtDkKk 14613
pynusmv_community/data/table_vis/lib/d3.v4.min.js sha256=jJlsVPlSwQyGokYi0JgmrFRihc7ILE3Id8AB0dpr0JA 218926
pynusmv_community/data/table_vis/styles/viz.css sha256=JWKeGKBM5GMp343gelMqVuZeQ8zNcKimDAV8C6G5lTY 141
pynusmv_community-1.0rc2.dist-info/DESCRIPTION.rst sha256=OCTuuN6LcWulhHS3d5rfjdsQtW22n7HENFRh6jC6ego 10
pynusmv_community-1.0rc2.dist-info/METADATA sha256=HJaVfP8lHcgV5teN64X2oBpq83_BNGP75CDUR5BVCT4 538
pynusmv_community-1.0rc2.dist-info/RECORD
pynusmv_community-1.0rc2.dist-info/WHEEL sha256=rNo05PbNqwnXiIHFsYm0m22u4Zm6YJtugFG2THx4w3g 92
pynusmv_community-1.0rc2.dist-info/entry_points.txt sha256=20PakJj5VkQ7vqRkK27PTMnv7-5_CeubgiPzro5zWfY 55
pynusmv_community-1.0rc2.dist-info/metadata.json sha256=Wg0mK5SrFsUA_XU8h9CzJQp9nP3on-omEpRNgT13kmg 835
pynusmv_community-1.0rc2.dist-info/top_level.txt sha256=GyQTq3O_2k6v3GaZAeeO_2n4PZCR7XhOVa5bM1UcteU 18

top_level.txt

pynusmv_community

entry_points.txt

commu = pynusmv_community.main:main