A python library for constraint satisfaction problems - View it on GitHub