flloat (pypi): A Python implementation of the FLLOAT library.
Keywords: flloat|automata|ldlf|linear-temporal-logic|logic|ltlf|propositional-logic