Optimal Solver for the Six Spot Cube

MiniZinc model created for finding shortest solution for David Pitcher's Six Spot Cube.

Cube:

Example Configuration:

corners_rotation = [1, 0, 0];
spot_colors = [Yellow, White, Green, Orange, Red, Blue];
MAX_MOVES = 10;

Solved Configuration:

corners_rotation = [0, 0, 0];
spot_colors = [Red, White, Green, Orange, Blue, Yellow];
MAX_MOVES = 20;