// Description:  10 queen problem
// Author:  CLab# Crew
// Date:  2006-01-25

type
  Queen [1 .. 10];

variable
  Queen q1;
  Queen q2;
  Queen q3;
  Queen q4;
  Queen q5;
  Queen q6;
  Queen q7;
  Queen q8;
  Queen q9;
  Queen q10;

rule
  (((q1 != q2) & (q1 != (q2 - 1))) & (q1 != (q2 + 1)));
  (((q1 != q3) & (q1 != (q3 - 2))) & (q1 != (q3 + 2)));
  (((q1 != q4) & (q1 != (q4 - 3))) & (q1 != (q4 + 3)));
  (((q1 != q5) & (q1 != (q5 - 4))) & (q1 != (q5 + 4)));
  (((q1 != q6) & (q1 != (q6 - 5))) & (q1 != (q6 + 5)));
  (((q1 != q7) & (q1 != (q7 - 6))) & (q1 != (q7 + 6)));
  (((q1 != q8) & (q1 != (q8 - 7))) & (q1 != (q8 + 7)));
  (((q1 != q9) & (q1 != (q9 - 8))) & (q1 != (q9 + 8)));
  (((q1 != q10) & (q1 != (q10 - 9))) & (q1 != (q10 + 9)));
  
  (((q2 != q3) & (q2 != (q3 - 1))) & (q2 != (q3 + 1)));
  (((q2 != q4) & (q2 != (q4 - 2))) & (q2 != (q4 + 2)));
  (((q2 != q5) & (q2 != (q5 - 3))) & (q2 != (q5 + 3)));
  (((q2 != q6) & (q2 != (q6 - 4))) & (q2 != (q6 + 4)));
  (((q2 != q7) & (q2 != (q7 - 5))) & (q2 != (q7 + 5)));
  (((q2 != q8) & (q2 != (q8 - 6))) & (q2 != (q8 + 6)));
  (((q2 != q9) & (q2 != (q9 - 7))) & (q2 != (q9 + 7)));
  (((q2 != q10) & (q2 != (q10 - 8))) & (q2 != (q10 + 8)));
  
  (((q3 != q4) & (q3 != (q4 - 1))) & (q3 != (q4 + 1)));
  (((q3 != q5) & (q3 != (q5 - 2))) & (q3 != (q5 + 2)));
  (((q3 != q6) & (q3 != (q6 - 3))) & (q3 != (q6 + 3)));
  (((q3 != q7) & (q3 != (q7 - 4))) & (q3 != (q7 + 4)));
  (((q3 != q8) & (q3 != (q8 - 5))) & (q3 != (q8 + 5)));
  (((q3 != q9) & (q3 != (q9 - 6))) & (q3 != (q9 + 6)));
  (((q3 != q10) & (q3 != (q10 - 7))) & (q3 != (q10 + 7)));
  
  (((q4 != q5) & (q4 != (q5 - 1))) & (q4 != (q5 + 1)));
  (((q4 != q6) & (q4 != (q6 - 2))) & (q4 != (q6 + 2)));
  (((q4 != q7) & (q4 != (q7 - 3))) & (q4 != (q7 + 3)));
  (((q4 != q8) & (q4 != (q8 - 4))) & (q4 != (q8 + 4)));
  (((q4 != q9) & (q4 != (q9 - 5))) & (q4 != (q9 + 5)));
  (((q4 != q10) & (q4 != (q10 - 6))) & (q4 != (q10 + 6)));
  
  (((q5 != q6) & (q5 != (q6 - 1))) & (q5 != (q6 + 1)));
  (((q5 != q7) & (q5 != (q7 - 2))) & (q5 != (q7 + 2)));
  (((q5 != q8) & (q5 != (q8 - 3))) & (q5 != (q8 + 3)));
  (((q5 != q9) & (q5 != (q9 - 4))) & (q5 != (q9 + 4)));
  (((q5 != q10) & (q5 != (q10 - 5))) & (q5 != (q10 + 5)));
  
  (((q6 != q7) & (q6 != (q7 - 1))) & (q6 != (q7 + 1)));
  (((q6 != q8) & (q6 != (q8 - 2))) & (q6 != (q8 + 2)));
  (((q6 != q9) & (q6 != (q9 - 3))) & (q6 != (q9 + 3)));
  (((q6 != q10) & (q6 != (q10 - 4))) & (q6 != (q10 + 4)));
  
  (((q7 != q8) & (q7 != (q8 - 1))) & (q7 != (q8 + 1)));
  (((q7 != q9) & (q7 != (q9 - 2))) & (q7 != (q9 + 2)));
  (((q7 != q10) & (q7 != (q10 - 3))) & (q7 != (q10 + 3)));
  
  (((q8 != q9) & (q8 != (q9 - 1))) & (q8 != (q9 + 1)));
  (((q8 != q10) & (q8 != (q10 - 2))) & (q8 != (q10 + 2)));
  
  (((q9 != q10) & (q9 != (q10 - 1))) & (q9 != (q10 + 1)));