GitHub repository: Francesco17/LTLf2DFA
Primary language: Python
Description: LTLf to DFA