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