From 296b3a32b45418ae44e656c17ac4bb98f7e2e2db Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 29 Jun 2021 16:11:25 +0200
Subject: [PATCH] add VISB file declaration

---
 Sudoku/SudokuEvent.mch | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Sudoku/SudokuEvent.mch b/Sudoku/SudokuEvent.mch
index b8aa63b..5e840fc 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};
-- 
GitLab