Dr. Dominik Krupke
Dr. Dominik Krupke
The interface changed in CP-SAT of ortools 9.9. While it seems to be compatible with most parts, there are some breaking changes with specific features. Identify and fix those. Also,...
I have started to develop utilities for generalizing some common modelling techniques for CP-SAT. It would be nice to have it available as simple Python package. The primary issue right...
It is relatively easy to read from the log if some expensive constraints, such as Multiplication are used. Maybe it would be nice to directly annotate those, e.g., by `🐌🐌🐌`/`🐌🐌`,...
Added the problematic log in example_logs/99_01.txt. It does not have a search log, which will make the log analysis difficult in general.
Solution hints can speed up the process but are one of the things that are easy to mess up. Thus, it may be very useful to add this to the...
While the model names are given by the user itself, and shouldn't be a surprise, the fingerprint of it can be a useful indicator if the model building is deterministic....
Instead of just using some worker containers, it may be cheaper to deploy the code to the cloud and use google cloud run to schedule and run the optimization on...
The Reservoir Constraint could need a good example. I tried to quickly build one but the constraint is not trivial to use and the example did not work out. Unfortunately,...
Testing optimization models is not too difficult once you know how to do it. I am already giving some hints in the coding patterns, but maybe it would be good...
Sometimes, the performance of Python is simply too slow to build larger models. In this case, parts of the code can be written in C++ and integrated into Python using...