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