philo10-10.ltl 105 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
!((((Think_6==1) || ([](!((Fork_5==1) <-> ([](Catch2_4==1)))))) <-> (!([](Catch2_4==1)))) -> (Fork_6==1))