python时态intructions公共语言接口:从一种区间时态逻辑启发的语言中,通过kripke结构创建图形查询的库。
pyticli的Python项目详细描述
synopsis: | A Python Temporal Intervals Common Language Interface. |
---|
python时间间隔公共语言接口:要创建的库 基于区间时序逻辑的kripke结构图查询 语言。
安装
可通过python包索引获得:
$ pip install pyticli
或:
$ easy_install pyticli
开始
主课是…
更改
0.0.1(2011-XX-YY)
- First Python Index Package release.