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 🐌🐌🐌/🐌🐌, to indicate that these can slow down the model quite a bit.
On a same note, it may be good to display the danger of creating infeasible models due to the integer arithmetic. For example Division can be super dangerous. This part is more difficult, as this problem is quite difficult to detect.
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
🐌🐌🐌/🐌🐌, to indicate that these can slow down the model quite a bit.On a same note, it may be good to display the danger of creating infeasible models due to the integer arithmetic. For example Division can be super dangerous. This part is more difficult, as this problem is quite difficult to detect.