meteor-reasoner (pypi): A Metric Temporal Reasoner
Keywords: DatalogMTL|Knowledge Representation|Temporal Reasoning