philo10-107.ltl 143 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(Catch2_9==1) <-> ((((Catch1_10==1) <-> ((Catch2_4==1) <-> (Fork_2==1))) <-> ((Catch1_4==1) && (Catch1_9==1))) <-> ((Eat_2==1) -> (Fork_2==1)))