pycsp-python csp库
pycsp的Python项目详细描述
pycsp是一个用于python的csp库,它实现了核心csp 从pi演算得到一些扩展的函数。
提供:
- 同步通信
- 缓冲信道
- 多个进程类型,如greenlet、线程、进程和远程进程
- 外部选择(alts)支持输入和输出保护。
- 单个任意到任意频道类型
- 移动频道结束
- 关闭网络的退出和有害信号
- 一种可以使用进程间通信和套接字进行通信的通道。
- pycsp只使用与cpython捆绑在一起的标准python模块提供本地和分布式通信
- NAT遍历
- 将pycsp执行跟踪到日志文件,以便以后可视化
有关详细信息,请参见https://github.com/runefriborg/pycsp/wiki。