philo10-1.ltl 120 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
((Eat_5==1) && ((Catch1_10==1) <-> (<>(Catch1_3==1)))) <-> ([]((Catch1_1==1) || (Catch1_5==1) || ([](<>(Catch2_9==1)))))