provide disprover as an auto tactic

de.prob.eventb.disprover.core/plugin.xml

@@ -9,5 +9,14 @@
             name="%reasoner.name">
       </reasoner>
    </extension>
+   <extension
+         point="org.eventb.core.seqprover.autoTactics">
+      <autoTactic
+            class="de.prob.eventb.disprover.core.internal.DisproverAutoTactic"
+            description="%autotactic.desc"
+            id="disproverTactic"
+            name="%autotactic.name">
+      </autoTactic>
+   </extension>
 
 </plugin>

de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverAutoTactic.java

+package de.prob.eventb.disprover.core.internal;
+
+import org.eventb.core.seqprover.ITactic;
+import org.eventb.core.seqprover.eventbExtensions.AutoTactics.AbsractLazilyConstrTactic;
+import org.eventb.core.seqprover.tactics.BasicTactics;
+
+import de.prob.eventb.disprover.core.DisproverReasonerInput;
+
+
+public class DisproverAutoTactic extends AbsractLazilyConstrTactic {
+	@Override
+	protected ITactic getSingInstance() {
+		return BasicTactics.reasonerTac(new DisproverReasoner(),
+				new DisproverReasonerInput());
+	}
+}
\ No newline at end of file