-
Python 库 py-metric-temporal-logic，旨在支持使用度量时间逻辑 (MTL)
资源介绍
用于操作和评估度量时间逻辑的库。
目录
定量评估（信号时序逻辑）
实用工具
类似项目
引用
关于
用于使用度量时间逻辑 (MTL) 的 Python 库。 度量时间逻辑是线性时间逻辑 (LTL) 的扩展，用于指定时间序列的属性（请参阅Alur ）。 在使用中给出了一些实际的例子。
安装
如果您只需要使用metric-temporal-logic ，您可以运行：
$ pip install metric-temporal-logic
对于开发者，请注意本项目使用了诗歌python 包/依赖管理工具。 请熟悉它，然后运行：
$ poetry install
用法
首先，我们导入mtl 。
import mtl
有两个用于与mtl模块交互的 API。 即，可以使用以下方法指定 MTL 表达式：
Python 运算符。
字符串 + 解析 API 。
我们从 Pyth