GitHub repository: Gaudeval/py-metric-temporal-logic
Primary language: Python
Description: Python library for working with Metric Temporal Logic (MTL)