A general (binary constraint) CSP solver written in Python.