demystify 0.4.0

A constraint solving tool for explaining puzzles
Documentation 
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

{
 "_source": "../ms/benchmarks-hard/ppjigsawminesweeper/size-05/seed-001.json",
 "puzzle": {
  "puz_colour": {
   "1": {
    "1": 2,
    "2": 0,
    "3": 0,
    "4": 1,
    "5": 1
   },
   "2": {
    "1": 0,
    "2": 2,
    "3": 1,
    "4": 1,
    "5": 2
   },
   "3": {
    "1": 1,
    "2": 2,
    "3": 2,
    "4": 0,
    "5": 2
   },
   "4": {
    "1": 2,
    "2": 1,
    "3": 0,
    "4": 2,
    "5": 0
   },
   "5": {
    "1": 1,
    "2": 0,
    "3": 2,
    "4": 2,
    "5": 0
   }
  },
  "puz_grid": {
   "1": {
    "1": -1,
    "2": 5,
    "3": -1,
    "4": 4,
    "5": -1
   },
   "2": {
    "1": -1,
    "2": -1,
    "3": -1,
    "4": -1,
    "5": -1
   },
   "3": {
    "1": -1,
    "2": -1,
    "3": -1,
    "4": -1,
    "5": -1
   },
   "4": {
    "1": -1,
    "2": -1,
    "3": -1,
    "4": -1,
    "5": 5
   },
   "5": {
    "1": -1,
    "2": -1,
    "3": 5,
    "4": -1,
    "5": -1
   }
  }
 },
 "solution": {
  "mines": {
   "1": {
    "1": 1,
    "2": 0,
    "3": 1,
    "4": 0,
    "5": 1
   },
   "2": {
    "1": 1,
    "2": 1,
    "3": 1,
    "4": 1,
    "5": 0
   },
   "3": {
    "1": 0,
    "2": 0,
    "3": 0,
    "4": 1,
    "5": 1
   },
   "4": {
    "1": 0,
    "2": 1,
    "3": 1,
    "4": 1,
    "5": 0
   },
   "5": {
    "1": 0,
    "2": 1,
    "3": 0,
    "4": 1,
    "5": 1
   }
  }
 }
}