These animations illustrate algorithms explained and discussed in Andrew's Lecture on Constraint Satisfaction