Small CSP solver for solving puzzles