OR-Tools v9.12: Use fixed intervals#175

dop-amin wants to merge 4 commits into

mainslothy-optimizer/slothy:mainfrom

ortools_9_12_fixed_ivalsslothy-optimizer/slothy:ortools_9_12_fixed_ivalsCopy head branch name to clipboard