solvers.zip -- programs to generate z3 theories.
puzzles.zip -- many puzzles for program testing.
dlPuzzle.rb -- Ruby script, which allows you to download puzzles from www.sudokular.com and save it in txt file. This file is understandable to programs.