Constraint solution of n queens