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