GitHub repository: CLC-UIowa/SySLite
Primary language: Python
Description: SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces