A tool for LDLf translation to DFA and for LDLf synthesis. - View it on GitHub