Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.