Changing Minisat::vec for std::vector