n queens by constraint propagations