Metadata-Version: 2.1
Name: spacer_tutorial
Version: 0.0.2
Summary: Transition systems and other support for Spacer Jupyter Tutorial
Project-URL: Homepage, https://github.com/agurfinkel/spacer-on-jupyter
Project-URL: Bug Tracker, https://github.com/agurfinkel/spacer-on-jupyter/issues
Author-email: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
License-File: LICENSE
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# Spacer on Jupyter

The latest notebook is `Dagstuhl2019.ipynb`.
Open it in your favorite Jupyter notebook server. 
VSCode works quite well for at the moment.


## Setting up venv

```
$ python3 -m venv venv
$ source venv/bin/activate
$ pip install -r requirements.txt
```

Open notebooks in VSCode and pick the virtual environment engine

## Distribution generation instructions

```
python -m build
python3 -m twine upload  dist/* 
```
Use `__token__` as username, and the token from PyPi as password