cloud10by5-103.ltl 122 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
!(((OsContainer==1) <-> ((Bounder1==1) || !(Container==1) || !(OsContainer==1))) && (!(Bounder1==1) || (Wsr1Started==1)))