philo10-1.ltl.reduced 80 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
<>([](!((<>("Fork_2")) <-> ([](("Fork_4") || ([](("Think_8") -> ("Eat_5"))))))))