philo10-103.ltl.reduced 78 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
!([](("Fork_1") && (!([](("Think_8") -> (<>(("Eat_1") <-> ([]("Eat_2")))))))))