__pycache__/
*.pyc
.venv/
dist/
build/
*.egg-info/
.pytest_cache/
node_modules/
states/
*_TTrace_*.tla

# JupyterLite build outputs and build venv
lite-dist/
lite/.jupyterlite.doit.db
.lite-venv/
