"""A solver that uses Generate and Test to solve cryptarithms. _all_digits: Generates rules for all the digits in the cryptarithm. _all_diff: Generates a rule that ensures all the digits are different ...

You can visit http://train.usaco.org/usacoprob2?a=RutxMxVoCDE&S=crypt1 to get more information. All original content rights to the original author of all if there is ...