Solver for the Puzzle Hadoku using python2 and Z3 theorem prover
+Info on Hadoku: http://www.pozzal.com/
+Info on Z3: https://github.com/Z3Prover/z3
Sudoku Solver in python+Z3: http://lauri.xn--vsandi-pxa.com/tub/qaoes/z3.html
Usage: $ python hadoku.py hx.txt
hx = h1, h2, ...
h6.txt refers to the unsolved puzzle, it has two grids: One for the pre-filled cells an another for the areas.
All the menus are in portuguese.