modelator-py (pypi): Lightweight utilities to assist model writing and model-based testing activities using the TLA+ ecosystem
Keywords: utility|tla|tlaplus|tlc|apalache|cli|command-line|command-line-tool|model-checking|modeling|utilities