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