philo10-106.ltl 113 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[](((Eat_8==1) -> ((Eat_2==1) -> (Catch2_9==1))) || (([](<>((Catch1_2==1) <-> (Think_2==1)))) -> (!(Fork_8==1))))