Used std::thread instead of std::jthread which is not supported in MacOS

Author: Tomaqa

src/api/MainSolver.cc

@@ -44,7 +44,8 @@ class MainSolver::ThreadImpl {
 private:
     MainSolver & solver;
 
-    std::jthread timeLimitThread{};
+    // not using std::jthread since MacOS does not support it
+    std::thread timeLimitThread{};
 
     std::mutex mtx{};
     std::condition_variable condVar{};
@@ -632,7 +633,7 @@ MainSolver::ThreadImpl::~ThreadImpl() {
     if (not anyRunning()) { return; }
 
     requestEnd();
-    // no need to wait in destructor
+    waitToEnd();
 }
 
 void MainSolver::ThreadImpl::setTimeLimit(std::chrono::milliseconds limit) {
@@ -641,12 +642,12 @@ void MainSolver::ThreadImpl::setTimeLimit(std::chrono::milliseconds limit) {
         waitToEnd();
     }
 
-    timeLimitThread = std::jthread([this, limit] {
+    timeLimitThread = decltype(timeLimitThread){[this, limit] {
         std::unique_lock lock(mtx);
         // To ensure that we do not wait later than when the notification was sent
         if (endReq) { return; }
         if (condVar.wait_for(lock, limit) == std::cv_status::timeout) { solver.notifyStop(); }
-    });
+    }};
 }
 
 bool MainSolver::ThreadImpl::anyRunning() const noexcept {