Sudoku Solver with choco, more at http://marioosh.5dots.pl