# 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
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
