Skip to content

Replace process-wide seed_generator with per-worker RNGs in MIP heuristics - #1809

Open
ramakrishnap-nv wants to merge 10 commits into
mainfrom
seed-generator-per-worker-rng
Open

Replace process-wide seed_generator with per-worker RNGs in MIP heuristics#1809
ramakrishnap-nv wants to merge 10 commits into
mainfrom
seed-generator-per-worker-rng

Merge branch 'main' into seed-generator-per-worker-rng

4afd46e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar