CPSolver.Examples.SendMoreMoney (Fixpoint v0.10.2)
The classic "cryptarithmetic" (https://en.wikipedia.org/wiki/Verbal_arithmetic) problem. Solve the following (each letter is a separate digit):
SEND + MORE = MONEY
The classic "cryptarithmetic" (https://en.wikipedia.org/wiki/Verbal_arithmetic) problem. Solve the following (each letter is a separate digit):
SEND + MORE = MONEY