8 ms·
I agree with your point, I just would like to point out maybe the OR-tools they meant is the one made by Google, so a specific one: https://developers.google.co
by gorkempacaci 2y ago
I agree with your point, I just would like to point out maybe the OR-tools they meant is the one made by Google, so a specific one: https://developers.google.com/optimization https://developers.google.com/optimization
- Karrot_Kream 2y agoYes that's the one sorry. I typed the comment hastily and didn't go back to edit it later.