/telingo

🕰️ A solver for temporal programs.

Primary LanguagePythonMIT LicenseMIT

Stargazers