I just noticed in my email that #HIGHS version 1.4.0 has been released: https://github.com/ERGO-Code/HiGHS/releases/tag/v1.4.0 I'm excited to see if we can add the new "warm start" functionality to the #MiniZinc interface.

Now I just have to find the time to do the coding. With the #CPAIOR deadline this week, it might have to wait a bit.