Gui: task dimacs generation added