chore: minor improvements and correction - #402

Merged

ptsouchlos merged 8 commits into

mainfrom

chore/minor-improvements

Jul 12, 2026

Commits on Jul 9, 2026

chore: don't clone board for razoring or nmp
ptsouchlos
committed
3dc8a6d

Commits on Jul 11, 2026

chore: only check hard timeout after certain number of nodes
ptsouchlos
committed
b13118e
chore: compute check/pin metadata once per node
ptsouchlos
committed
969dd2e
chore: avoid double see check in qsearch
ptsouchlos
committed
4fb72e8
fix: minor typo
ptsouchlos
committed
7a6e54a
chore: add debug assert to validate pre-condition
ptsouchlos
committed
47f2bc4
chore: add is_stopped helper in thread data
ptsouchlos
committed
4daf2d8
fix: don't store scores and moves from aborted iterations
ptsouchlos
committed
250bbce