diff --git a/Sudoku/SudokuEvent.mch b/Sudoku/SudokuEvent.mch index b8aa63b1a12bedc5b1908ab8f56d75982ac77b91..5e840fcaae59ccad4106185a42417ce92fc9cbd3 100644 --- a/Sudoku/SudokuEvent.mch +++ b/Sudoku/SudokuEvent.mch @@ -6,7 +6,8 @@ DEFINITIONS Sze == 3; Mx==(Sze*Sze); DOM == 1..Mx; D1 == 1..(Mx-1); D2 == 2..Mx ; RAN == (1..Mx); - SET_PREF_MAXINT == 3; SET_PREF_TIME_OUT == 45000; + SET_PREF_MAXINT == 3; SET_PREF_TIME_OUT == 15000; + VISB_JSON_FILE == "visb_sudoku.json"; SUBSQS == %i.(i:1..Sze | ((i-1)*Sze+1)..i*Sze); SUBSQ == ran(SUBSQS); ANIMATION_FUNCTION_DEFAULT == {r,c,i|r:1..Mx & c:1..Mx & i=16};