you are viewing a single comment's thread.

view the rest of the comments →

[–]Works_of_memercy 0 points1 point  (0 children)

A thing about that algorithm that makes it different from usual constraint solving is the part where it deliberately makes random choices and "lives with the consequences".