我正在使用Golanggofd包来提供约束满足解决方案来解决数独问题。我创建以下内容packagemainimport("bitbucket.org/gofd/gofd/core""bitbucket.org/gofd/gofd/propagator""bitbucket.org/gofd/gofd/labeling""encoding/json""io/ioutil""fmt")varROWS=[]string{"A","B","C","D","E","F","G","H","I"}varCOLS=[]int{1,2,3,4,5,6,7,8,9}varSQUARE1=[]string