PyCSP
The PyCSP project is an on-going project project to bring CSP (Communicating Sequential Processes) to Python. The main goals of this project is to support our research projects, teaching and scientific programming.
Check out the PyCSP: https://pycsp.github.io/
Check out the PyCSP software: https://github.com/PyCSP