every soduku solver this is a java translate version of Peter Norvig's python version,here it can solve every suduku problem, by using constraint propagation and search