Unified Node Queue + Diving Node and Iteration Limits#718

Open

nguidotti wants to merge 13 commits intoNVIDIA:mainfrom

nguidotti:node-queue

Commits on Dec 15, 2025

unified the best-first and diving heap into a single object. imposed iteration and node limit to the diving threads.
nguidotti
committed
moved bound propagation logs to debug mode
nguidotti
committed
Merge remote-tracking branch 'origin/main' into node-queue
nguidotti
committed

Commits on Dec 18, 2025

Merge branch 'main' into node-queue
nguidotti
authored

Commits on Jan 6, 2026

Commits on Jan 14, 2026