moectf chall 数独题 z3约束器求解
这是一道数独题第一次碰见想写一下wp此题是2021moectf的题目拖入ida看看cheak123是关键函数分别进去看看cheak1 判断每一横排的数字为1-9不重复cheak2 判断每一竖排的数字为1-9不重复cheak3 判断九宫格里的数字为1-9且不重复然后知道这是一道数独, 如下box = [0x00, 0x00, 0x05, 0x00, 0x00, 0x04, 0x03, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x05, 0