GitHub repository: susuhahnml/atlingo
Primary language: C++
Description: Temporal Logics with Automatons