On top of all this, the nuke is already too complicated.
The exact rules in 0.9 and 0.10 are: A team induces the global overtime to start running iff {{ that team has at least one point } and {{ one of the team's players has nuked by doubleclicking/double-hotkeying the nukebutton } or { that team has run out of lix }}. Global overtime runs iff at least one team has induced it to run. Lix start to explode once global overtime has run out, or if { all teams have pressed nuke or have no lix left }.
In short:
Iff exists T such that Score(T) and { Nuke(T) or Done(T) }, then Overtime.
Iff Overtime expired or { all T have Nuke(T) or Done(T) }, then exits shut and lix exploding.
-- Simon
The exact rules in 0.9 and 0.10 are: A team induces the global overtime to start running iff {{ that team has at least one point } and {{ one of the team's players has nuked by doubleclicking/double-hotkeying the nukebutton } or { that team has run out of lix }}. Global overtime runs iff at least one team has induced it to run. Lix start to explode once global overtime has run out, or if { all teams have pressed nuke or have no lix left }.
In short:
Iff exists T such that Score(T) and { Nuke(T) or Done(T) }, then Overtime.
Iff Overtime expired or { all T have Nuke(T) or Done(T) }, then exits shut and lix exploding.
-- Simon