Fixpoint v0.13.2

CPSolver.Examples.SendMoreMoney (Fixpoint v0.13.2)

The classic "cryptarithmetic" (https://en.wikipedia.org/wiki/Verbal_arithmetic) problem. Solve the following (each letter is a separate digit):

SEND + MORE = MONEY

Link to this section Summary

Functions

check_solution(solution)
model()
solve()

Link to this section Functions

Link to this function

check_solution(solution)

Link to this function

model()

Link to this function

solve()