philo10-102.ltl 80 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[](([](Catch1_6==1)) -> ((Fork_5==1) <-> ((Catch2_5==1) && ([](!(Eat_10==1))))))