Better version printing

Author: msoos

src/main.cpp

@@ -100,7 +100,6 @@ string print_version()
 {
     std::stringstream ss;
     ss << "c o GANAK SHA revision " << GANAK::get_version_sha1() << endl;
-    ss << "c o GANAK compilation env " << GANAK::get_compilation_env() << endl;
     #ifdef __GNUC__
     ss << "c o GANAK compiled with gcc version " << __VERSION__ << endl;
     #else
@@ -109,8 +108,11 @@ string print_version()
     ss << "c o CMS revision: " << CMSat::SATSolver::get_text_version_info() << endl;
     ss << "c o Arjun SHA revision: " << ArjunNS::Arjun ::get_version_info() << endl;
     ss << "c o Arjun SBVA SHA revision: " << ArjunNS::Arjun::get_sbva_version_info() << endl;
+    ss << "c o GANAK compilation env " << GANAK::get_compilation_env() << endl;
     ss << "c o Using Graph library by Tuukka Korhonen" << endl;
     ss << "c o Using Flowcutter by Ben Strasser" << endl;
+    ss << ArjunNS::Arjun::get_thanks_info("c o ") << endl;
+    ss << CMSat::SATSolver::get_thanks_info("c o ") << endl;
     return ss.str();
 }