Lightweight utilities to assist model writing and model-based testing activities using the TLA+ ecosystem

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for daniel.at.informal from gravatar.com daniel.at.informal Avatar for ivan_gavran from gravatar.com ivan_gavran Avatar for rnbguy from gravatar.com rnbguy

Unverified details

These details have not been verified by PyPI
Meta
Classifiers

Project description

The author of this package has not provided a project description

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for daniel.at.informal from gravatar.com daniel.at.informal Avatar for ivan_gavran from gravatar.com ivan_gavran Avatar for rnbguy from gravatar.com rnbguy

Unverified details

These details have not been verified by PyPI
Meta
Classifiers

Release history Release notifications | RSS feed

0.2.6

0.2.5

0.2.4

0.2.3

0.2.2

0.2.1

0.2.0

0.1.9

0.1.8

0.1.7

0.1.6

0.1.5

0.1.4

0.1.3

0.1.2

0.1.1

This version

0.1.0

Download files

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

Source Distribution

modelator_py-0.1.0.tar.gz (91.7 kB view details)

Uploaded Source

Built Distribution

modelator_py-0.1.0-py3-none-any.whl (108.9 kB view details)

Uploaded Python 3

File details

Details for the file modelator_py-0.1.0.tar.gz.

File metadata

  • Download URL: modelator_py-0.1.0.tar.gz
  • Upload date:
  • Size: 91.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: poetry/1.1.12 CPython/3.9.9 Darwin/20.5.0

File hashes

Hashes for modelator_py-0.1.0.tar.gz
Algorithm Hash digest
SHA256 3c3b13d9ec92be1ce807381bd6a78a7d01ae73782db21ddafaaffe0ca5ca4ea8
MD5 4d3ddfad612b184955532511aa2bd2c4
BLAKE2b-256 6b15ed1ca74035001fe4e685a6207aee3168056cba9da2571ed8f1bf349e3a59

See more details on using hashes here.

File details

Details for the file modelator_py-0.1.0-py3-none-any.whl.

File metadata

  • Download URL: modelator_py-0.1.0-py3-none-any.whl
  • Upload date:
  • Size: 108.9 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: poetry/1.1.12 CPython/3.9.9 Darwin/20.5.0

File hashes

Hashes for modelator_py-0.1.0-py3-none-any.whl
Algorithm Hash digest
SHA256 ce3fb2986f71a80cef3d97da70491fc890d23a8645b9afbe2e2952b2265b9a2c
MD5 e37042c2267ae0ee06899eec887e38a2
BLAKE2b-256 21e09b9b3d1101e91be12c06582ec850b6fe47037fce0dcba1eaa7e5e1328189

See more details on using hashes here.

Supported by

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