philo10-100.ltl 106 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[]((<>(!((!(Catch1_4==1)) -> ((Catch2_4==1) && (<>(Eat_7==1)))))) || ((Think_2==1) <-> ([](Catch2_9==1))))