Cryptarithmetic solver code. If our library doesn’t support the constraint we need, we find a way to express it using mul...