[CBC interface] Support setting CBC hints#5232

comick wants to merge 1 commit into

google:maingoogle/or-tools:mainfrom

comick:cbc-hintcomick/or-tools:cbc-hintCopy head branch name to clipboard