The Design of the Seventh Answer Set Programming Competition