@brunophilipe this is amazing, could you clarify more on how your solver works. I see that it attempts to apply human techniques, but how far can it go: does it work with sequences, xwings or other complicated strategies.
For puzzles i see that it uses hand-crafted sudoku puzzles made by real person to avoid generation of random puzzles which are plagued with bifurcating or you can also generate puzzles which require complex strategies yet without bifurcating?