Mantis:S plugin MantisGraph graph imp resolution title/en

Synthesis graphs by resolution