Exploring the world of constraint solvers with very simple examples.