OVA-GEN, for computing Dung labellings. (Create arguments with a mouse click, draw arrows by holding the shift key, then clicking on an argument and dragging to another argument. Then compute the labellings by choosing “Preferred” under “Acceptability”).