Add a new mode: load_sqldb

Author: hwalinga

source/running_mode_factory.cpp

@@ -36,6 +36,10 @@ unique_ptr<running_mode_base> running_mode_factory::get_mode(const string& opera
     cout << "Active learning mode selected" << endl;
     mode = make_unique<active_learning_mode>();
   }
+  if(operation_mode == "load_sqldb"){
+    cout << "Active learning mode selected" << endl;
+    mode = make_unique<load_sqldb_mode>();
+  }
   else if(operation_mode == "dfasat"){
     cout << "SAT solver mode selected" << endl;
     mode = make_unique<dfasat_mode>();