GitHub repository: potassco/telingo
Primary language: Python
Description: 🕰️ A solver for temporal programs.