@@ -0,0 +1,253 @@
+package at.ac.tuwien.kr.alpha.solver;%0A%0Aimport at.ac.tuwien.kr.alpha.grounder.Grounder;%0A%0Apublic class DefaultSolverTest extends AbstractSolverTest %7B%0A%09@Override%0A%09protected Solver getInstance(Grounder grounder) %7B%0A%09%09return new DefaultSolver(grounder);%0A%09%7D%0A%7D%0A

Add DefaultSolverTest