/synthetico

Pure-past LTL synthesizer based on BLACK

Primary LanguageC++MIT LicenseMIT

Stargazers