An automated approach to generating efficient constraint solvers.