auto-z3/.gitignore at main · matte1782/auto-z3 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
# =============================
# Auto-Z3 .gitignore (v0.9)
# =============================

# --- Python & Environment ---
__pycache__/
*.py[cod]
*.pyo
*.pyd
*.so
*.egg-info/
.eggs/
.env
.venv/
venv/
ENV/
env/
pip-wheel-metadata/
.cache/

# --- IDE / Editor files ---
.vscode/
.idea/
*.swp
*.swo
.DS_Store
Thumbs.db

# --- Streamlit cache & configs ---
.streamlit/
.streamlit/secrets.toml

# --- Tests & artifacts ---
tests/_artifacts/
pytest_cache/
.coverage
htmlcov/
*.smt2
*.xml
*.json
*.csv

# --- Data & generated outputs ---
data/geo/*.geojson
data/adj/*.json
examples/*.geojson
examples/*.smt2
*.log

# --- Build / Dist / Packaging ---
build/
dist/
*.tar.gz
*.whl

# --- Notebooks / Docs / Reports ---
.ipynb_checkpoints/
*.ipynb
docs/_build/
docs/*.html

# --- OS-specific ---
ehthumbs.db
Icon?
Desktop.ini