modelator-py

0.2.6
37.81k

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