2 ms·Would be interesting to see in next years MiniZinc challenge as a way to compare with other solvers.by mzl 1y agoWould be interesting to see in next years MiniZinc challenge as a way to compare with other solvers.