Cost-matrix problem using MiniZinc.