Implementation of the SkyBlue constraint solver in a dynamic programming language.