n queens by constraint propagations
comments