Use C++20 `counting_semaphore` to parallelize solving

As in #1292, the solving could be parallelized using a `std::counting_semaphore` available from C++20. Benefits would include:

- simpler code (no need for the thread-splitting logic any more);
- faster solving with limited number of threads as the semaphore would take care of maximizing thread use out of the box.
