gentoo.mahdi.cz
dev-python
:modelator-py
Lightweight utilities to assist model writing and model-based testing activities using the TLA+ ecosystem
https://mbt.informal.systems/
modelator-py-0.2.6
download
~amd64 ~x86
pypi