CSP Board

Variables: S, E, N, D, M, O, R, Y
Domain: 0-9 (AllDiff)
Constraints: Leading≠0, AllDiff, SEND + MORE = MONEY

Visualize Constraint Satisfaction with MRV heuristics, Forward Checking, and manual solving.

Awaiting execution...

Speed

HISTORY

MRV

Min Remaining Values

Forward Check

Prune domains on assign

Initializing Module...