Index: /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java
===================================================================
--- /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java	(revision 228)
+++ /ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java	(revision 229)
@@ -1,4 +1,5 @@
 package de.uni_hildesheim.sse.model_extender;
 
+import java.io.BufferedReader;
 import java.io.File;
 import java.io.FileNotFoundException;
@@ -21,4 +22,31 @@
 public class Main {
     
+	public static void extendModel(BufferedReader sourceDimacsFile, String constraint, File destinationDimacsFile)
+	        throws FileNotFoundException, IOException, MalformedFileException, ConstraintParserException {
+	        
+	        // 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();
+	        }
+	    }
+	
     /**
      * Will extends the <tt>sourceDimacsFile</tt> with the given <tt>constraint</tt> and save the extended file to
Index: /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java
===================================================================
--- /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java	(revision 228)
+++ /ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java	(revision 229)
@@ -67,4 +67,8 @@
         in = new BufferedReader(new FileReader(file));
     }
+    
+    public DimacsReader(BufferedReader br) {
+		in = br;
+	}
 
     @Override