PyPI page
Home page
Author:
Daniel Tisdall
License:
Summary:
Lightweight utilities to assist model writing and model-based testing activities using the TLA+ ecosystem
Latest version:
0.2.6
Required dependencies:
fire
|
infix
|
pathos
|
ply
Downloads last day:
57
Downloads last week:
429
Downloads last month:
845