search

informalsystems / modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Apache License 2.0
28 stars 2 forks source link

Publish to pypi with poetry #43

Closed danwt closed 2 years ago

danwt commented 2 years ago

closes https://github.com/informalsystems/modelator-py/issues/24