GitHub repository: marcofavorito/flloat
Primary language: Python
Description: From LTLf/LDLf To Automata