Google has OR Tools team that runs a publicly accessible discord. There's quite a few folk in there with industry experience who will likely be able to answer q

Google has OR Tools team that runs a publicly accessible discord. There's quite a few folk in there with industry experience who will likely be able to answer questions in the off-topic channel. Unfortunately I can't be of further assistance, but I hope this helps.