PyCSP is a CSP library for Python that implements core CSP
functionality with some extensions from pi-calculus.

See http://code.google.com/p/pycsp for new versions.
