informalsystems / modelator-py

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

Operations: explore options for publishing the project #24

Closed danwt closed 2 years ago

danwt commented 2 years ago

We must think about how to expose the functionalites contained within the project

Avenues:

ect...

rnbguy commented 2 years ago

python -m pip install . already works thanks to poetry. But we need to rename the top-level cli.py, because it would be available as cli as executable.

We will publish it to PyPI when these tasks are done. Until then, we will use pip install . or pip install git+ssh://git@github.com/informalsystems/mbt-python.git.

rnbguy commented 2 years ago

Python to Rust FFI - https://pyo3.rs

danwt commented 2 years ago

Packaged with pypi