searchers.add(new MRVForwardCheckingSearch(false));
searchers.add(new MRVDegreeForwardCheckingSearch(true));
searchers.add(new MRVDegreeArcConsistency3Search(true,true,false,false));
searchers.add(new LCV_MRVForwardCheckingSearch(true));
searchers.add(new LCV_MRVArcConsistency3Search(true,true,false,false));
searchers.add(new LCV_MRVDegreeArcConsistency3Search(true,true,false,false));
//open a reader to get the Sudokus
BufferedReader in = new BufferedReader(new FileReader(inSudokuFile));
String strLine;
//write the results in a CSV file