philo10-103.ltl 82 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
!([]((Fork_1==1) && (!([]((Think_8==1) -> (<>((Eat_1==1) <-> ([](Eat_2==1)))))))))