From ab589ad2feb19e132908f590de1fcb9394ddfad2 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Wed, 30 Jun 2021 19:41:20 +0200 Subject: [PATCH] add name --- Sudoku/SudokuEvent.mch | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Sudoku/SudokuEvent.mch b/Sudoku/SudokuEvent.mch index a582d65..27283a9 100644 --- a/Sudoku/SudokuEvent.mch +++ b/Sudoku/SudokuEvent.mch @@ -1,6 +1,7 @@ MACHINE SudokuEvent /* A version of Sudoku where the solving happens inside an event - (c) Michael Leuschel + (c) 2021 Michael Leuschel + VisB Visualisation by Matteo Röhle and Michael Leuschel */ DEFINITIONS Sze == 3; Mx==(Sze*Sze); -- GitLab