GitHub repository: whitemech/lydia
Primary language: C++
Created: 2020-03-18T14:26:01Z
Description: A tool for LDLf translation to DFA and for LDLf synthesis.