A solver for "alphametics" or "cryptarithms".