Skip to content
PyCSP - Brings CSP to Python
Branch: master
Clone or download

README.md

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

Providing:

  • Synchronous communication
  • Buffered channels
  • Multiple process types such as, greenlets, threads, processes and remote processes
  • Both input and output guards supported in external choice (Alts)
  • A single any-to-any channel type
  • Mobile channel-ends
  • Retire and poison signals for shutting down networks nicely
  • A channel which can communicate using inter-process communication as well as sockets.
  • A PyCSP providing local and distributed communication using only standard python modules bundled with CPython
  • NAT traversal
  • Tracing PyCSP executions to a log file, for later visualisation

See https://github.com/runefriborg/pycsp/wiki for more information.

You can’t perform that action at this time.