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