Compute array index for array[int] arrays, and sort output for old flatzinc
Compute array index for array[int] arrays, and sort output for old flatzinc

tias/libminizinc,nathanielbaxter/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc