gr1py 0.2.0

安装

可从Python Package Index的https://pypi.python.org/pypi/gr1py获得发行版 要从那里获取并检查版本，请尝试

pip install gr1py
gr1py -V

pip如果您没有 他们。它们是

• 层（http://www.dabeaz.com/ply/）

如果可用，将使用networkx（https://networkx.github.io/）。 但是，这不是必需的。一个用于有向图的简单内置类将 如果找不到NetworkX，则使用。

如果你想破解gr1py，从 https://github.com/slivingston/gr1py.git

当前CI server report：

示例

除了python包之外，还安装了名为gr1py的脚本，该脚本提供 从命令行访问多个例程。考虑名为 源版本中包含的examples/arbiter3.spc。检查 由它定义的规范可以实现，请尝试

gr1py -r examples/arbiter3.spc

若要合成获胜策略并将其转储为graphviz dot格式，请尝试

gr1py -t dot examples/arbiter3.spc > arbiter3-fsm.dot
dot -Tsvg -O arbiter3-fsm.dot

其中第二个命令使用程序dot（graphviz的一部分）创建 SVG文件，可能名为arbiter3-fsm.dot.svg；例如，可以显示该文件 使用web浏览器或inkscape。

命令行用法的摘要可以通过grpy -h获得。

输入格式

默认的输入格式是gr1c（http://scottman.net/2012/gr1c）。

输出格式

这些是使用-t开关从命令行中选择的。每个 对应于gr1py.output中的函数。

• json：gr1c JSON
• dot：Graphviz dot

反馈和贡献

错误报告、功能请求和评论可以通过project issue tracker或通过电子邮件提交到 作者。

代码贡献是受欢迎的。为了避免多余的工作，请检查 开始前或预期工作之前存在的问题或其他指示。 准备好进行审阅时，发送一个pull request。

许可证

这是根据the BSD 3-Clause License条款发布的免费软件。没有保证；没有 即使是为了适销性或适合某一特定目的。查阅许可证 用于复制条件。