Solving the Partridge square packing problem using MiniZinc