Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
cloud10by5-103.ltl.reduced 104 Bytes
Newer Older
Jaime Arias's avatar
Initial commit  
Jaime Arias committed
1 
!(((OsContainer) <-> ((Bounder1) || !(Container) || !(OsContainer))) && (!(Bounder1) || (Wsr1Started)))