pyticli (pypi): A Python Temporal Intructions Common Language Interface: Library to create graphs queries over Kripke structures from a Interval Temporal Logic inspired language.
Keywords: itl|interval|logic|temporal|python|graph|database|gremlin|query