Use the toolbar to add arguments and attacks, and double click an argument to rename it. Hit RUN to compute the labellings: nodes are recoloured with the one of the solution shown.