Index: /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java
===================================================================
--- /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java	(revision 217)
+++ /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java	(revision 218)
@@ -17,6 +17,46 @@
  * 
  * @author Adam Krafczyk
+ * @author El-Sharkawy
  */
 public class Main {
+    
+    /**
+     * Will extends the <tt>sourceDimacsFile</tt> with the given <tt>constraint</tt> and save the extended file to
+     * <tt>destinationDimacsFile</tt>.
+     * @param sourceDimacsFile The translated KConfig model in dimacs format. Must not be <tt>null</tt>.
+     * @param constraint The constraint to append to the already existing model.
+     * @param destinationDimacsFile The destination of the extended model. The path must exist.
+     * @throws FileNotFoundException If the <tt>sourceDimacsFile</tt> was not found or could not be read.
+     * @throws IOException If reading the <tt>sourceDimacsFile</tt> throws an {@link IOException}
+     * or if writing the <tt>destinationDimacsFile</tt> throws an {@link IOException} 
+     * @throws MalformedFileException If the <tt>sourceDimacsFile</tt> is not correctly formatted.
+     * @throws ParserException If the constraint is not correctly formatted.
+     */
+    public static void extendModel(File sourceDimacsFile, String constraint, File destinationDimacsFile)
+        throws FileNotFoundException, IOException, MalformedFileException, ParserException {
+        
+        // Read existing model
+        DimacsReader reader = null;
+        Project model = null;
+        try {
+            reader = new DimacsReader(sourceDimacsFile);
+            model = reader.getModel();
+        } finally {
+            if (null != reader) {
+                reader.close();
+            }
+        }
+        if (null != model) {
+            // Extend model
+            ModelExtender extender = new ModelExtender(model);
+            extender.addConstraint(constraint);
+            
+            // Saved extended model
+            FileWriter fWriter = new FileWriter(destinationDimacsFile);
+            DimacsWriter writer = new DimacsWriter(model, fWriter);
+            writer.write();
+            fWriter.close();
+        }
+    }
 
     /**
@@ -27,4 +67,5 @@
      *   <li>Path to .dimacs file</li>
      *   <li>Additional constraint</li>
+     *   <li>Path to destination .dimacs file</li>
      * </ol>
      */