Visualize the Traces of NuSMV and NuXMV

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for areku from gravatar.com areku

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v3 (GPLv3) (gpl-v3)
  • Author: Alexander Weigl
Classifiers
Report project as malware

Project description

UNKNOWN

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for areku from gravatar.com areku

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v3 (GPLv3) (gpl-v3)
  • Author: Alexander Weigl
Classifiers

Release history Release notifications | RSS feed

This version

0.1.1

0.1

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

smvceviz-0.1.1.tar.gz (3.3 kB view details)

Uploaded Source

File details

Details for the file smvceviz-0.1.1.tar.gz.

File metadata

  • Download URL: smvceviz-0.1.1.tar.gz
  • Upload date:
  • Size: 3.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for smvceviz-0.1.1.tar.gz
Algorithm Hash digest
SHA256 315be28d6b50737946c6ffdd509794066fe0fa8bdd50c7e59718f7971adc3891
MD5 122dfefcd15d12773c1373129cfdbdc6
BLAKE2b-256 38ecdfd8c80864b2475128c8f2139731ef0b901847e275a348f9f5b16da39eff

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page