Solutions of logic puzzles for CLP(FD)