Index: /ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java
===================================================================
--- /ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java	(revision 224)
+++ /ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java	(revision 225)
@@ -2,4 +2,5 @@
 
 import java.io.File;
+import java.io.IOException;
 import java.io.StringWriter;
 import java.util.regex.Matcher;
@@ -9,4 +10,5 @@
 
 import de.uni_hildesheim.sse.model.varModel.IvmlKeyWords;
+import de.uni_hildesheim.sse.model.varModel.Project;
 import de.uni_hildesheim.sse.trans.convert.OptimizationParameter;
 import de.uni_hildesheim.sse.trans.in.InputType;
@@ -143,3 +145,29 @@
         return m.find();
     }
+    
+    /**
+     * Checks whether a given constraint is included in <tt>dimacsModel</tt>.
+     * @param dimacsModel The complete dimacs model
+     * @param variables The name of the variables which shall be part of the constraint
+     * @return <tt>true</tt> if the constraint is included in <tt>dimacsModel</tt>.
+     */
+    public static boolean containsConstraint(Project dimacsModel, String... variables) {
+        boolean constraintFound = false;
+        StringWriter sWriter = new StringWriter();
+        DimacsWriter writer = new DimacsWriter(dimacsModel, sWriter);
+        try {
+            writer.write();
+            String model = sWriter.toString();
+            int[] literals = new int[variables.length];
+            for (int i = 0; i < literals.length; i++) {
+                literals[i] = getNumberOfVariable(model, variables[i]);
+            }
+            constraintFound = containsConstraint(model, literals);
+        } catch (IOException e) {
+            e.printStackTrace();
+            Assert.fail(e.getMessage());
+        }
+        
+        return constraintFound;
+    }
 }