动作时态逻辑的语法分析器和抽象语法树tla+。
tla的Python项目详细描述
[！[生成状态][生成img]][travis] [！[保险范围状态][保险范围][工作服]
关于
动作时间逻辑（TLA+）的分析器。 [ply]（https://pypi.python.org/pypi/ply/3.4）（pythonlex-yacc）用于生成解析器。 包含tla+抽象树的类，用于表示解析的结果。
要安装：
` pip install tla `
许可证
[bsd-3]（http://opensource.org/licenses/BSD-3-Clause），请参见许可证文件。
[生成图片]：https://travis-ci.org/johnyf/tla.svg?branch=master [特拉维斯]：https://travis-ci.org/johnyf/tla [覆盖范围]：https://coveralls.io/repos/johnyf/tla/badge.svg?branch=master [工作服]：https://coveralls.io/r/johnyf/tla?branch=master
欢迎加入QQ群-->： 979659372
