Thank you for introducing this tool. What else do you use this library for? I want to learn this tool by applying it to something I am interested in. Since you like math, maybe you would be interested in another approach of solving using mathematical programming as well: http://yetanothermathprogrammingconsultant.blogspot.com/2016/10/mip-modeling-from-sudoku-to-kenken.html