Implementation of the SkyBlue constraint solver in Python.