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.