PyPI package

modelator-py

0.2.6

Default version

Published

November 18, 2022

Description

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

Links

Origin: https://pypi.org/project/modelator-py/0.2.6/
Repo: https://github.com/informalsystems/modelator-py
Documentation: https://github.com/informalsystems/modelator-py/

Projects

informalsystems/modelator-py

GitHub

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

3 forks

28 stars

Project metadata as of April 10, 2025.

This site uses cookies from Google to deliver its services and to analyze traffic.