In Main class, extendModel is changed to handle the bufferedreader instead of file argument. In DimacsReader? class, a new constructor is added to handle the bufferedreader.