Added gcc c++11 standard flag
Fixed print errors
Removed Minisat::vec, now uses std::vector