CP-SAT-Log-Analyzer
CP-SAT-Log-Analyzer copied to clipboard
d-krupke
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
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....
This should be relatively easy, but I am not sure about how to keep the user interface simple. Could be very useful if you want to check if your changes...
A single log does not always tell you the truth and you may want to aggregate multiple logs to see the "average behavior", like how quickly the optimality gap falls...