Constraint Logic · Deduction
Each letter represents a unique digit 0–9. Make the arithmetic correct. Leading letters cannot be zero.