# Rust build output
/target

# Editor and IDE
.idea/
.vscode/*.code-workspace
*.iml

# OS
.DS_Store
Thumbs.db

# Rust backup files
*.rs.bk

# Merge / patch artifacts
*.orig
*.rej

# Machine-specific logs
laptop_i.err
laptop_i.out

# Profiling output
heaptrack.*.zst
*.zst

# Scratch / temp files
*.patch
nohup.out
out.txt

# Profiling / perf artifacts
perf.data
perf.data.old

# ML training artifacts and data-collection output
weights*.bin
# ...but the committed, released per-division models under models/ are kept
!models/weights_*.bin
ml_logs*/
meta.json

# Benchmark scratch output
crates/mrs-bench/run.log
casc_problem_lists/

# Stray TPTP problems / archives at repo root
/*.p
/*.zip
greedy_all.res

# mrs-train checkpoint/log artifacts
*.artifacts/
experiment.log

# mrs-codex: runtime output database from processing a problem corpus
/codex.db
