求解基础的9宫格数独，利用了lingo自带的算法编写了程序，基于01变量和新增的“背包”变量实现了数独的求解。每一个的位置用二维坐标定位，该位置上的是否出现数字x用0或1来表示。求解结果同样用这种方式表示。