Fixed parse_DIMACS_main warning and changed Minisat::vec to std::vector in Solver.h