.env
.venv/
__pycache__/
*.pyc
*.egg-info/
.pytest_cache/
.ruff_cache/
dist/
nisse-dev.yaml

# Apalache output (quint verify)
_apalache-out/
