# Python
__pycache__/
*.py[cod]
*.egg-info/
dist/
build/
.venv/
.pytest_cache/
.ruff_cache/

# IDE / notebooks
.idea/
.vscode/
.vcode/
.ipynb_checkpoints/
.DS_Store

# Model checker outputs (generated next to the .mod file)
*.res
*.norm
*_trace_lengths.csv
!tests/golden/*

# Oxigraph store of the Synthea example (built locally with build_store.py)
examples/synthea/store/

