使用ConstraintSolver(Kodkod)编写的求解数独程序