GitHub repository: FelixLaarmann/ltl
Description: Linear Temporal Logic