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