philo10-105.ltl.reduced 72 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[](<>(([](!("Eat_5"))) -> (!([](("Think_3") && (<>([]("Catch2_3"))))))))