use nested for loops

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

N-Queens/QueensWithEvents.mch

@@ -11,7 +11,7 @@ DEFINITIONS
       SET_PREF_MAX_OPERATIONS == 10;
       MAX_OPERATIONS_SetQueen == 1000;
       MAX_OPERATIONS_ChangeQueen == 1000;
-      MAX_OPERATIONS_SolveAny == 4;
+      MAX_OPERATIONS_Solve == 4;
 
       is_attacked(q1) == q1:dom(queens) &
                          #q2.(q2:dom(queens) & q2 /= q1 &

N-Queens/queens_120.json

@@ -29,12 +29,7 @@
 "events": [
 	{
 	  "for": {"from":1, "to":120},
-	  "repeat": [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
-	             21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,
-	             41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,
-	             61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,
-	             81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,
-	             101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120],
+	  "for": {"from":1, "to":120},
       "id": "tile%1x%0",
       "event": "TryQueen",
       "hovers": [{ "attr":"opacity", "enter":"0.5", "leave":"1"}],

N-Queens/queens_20.json

@@ -28,7 +28,7 @@
 ], 
 "events": [
 	{
-	  "repeat": [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],
+	  "for": {"from":1, "to":20},
 	  "for": {"from":1, "to":20},
       "id": "tile%1x%0",
       "event": "TryQueen",