Newer versions of Intel TBB are incompatible

[tquatmann]

There have been a couple of API changes in intel thread building blocks which apparently makes it incompatible with Storm right now.

For example, our findTBB.cmake appears to not work on macOS anymore (at least for me). However, there is a TBBConfig.cmake shipped with TBB nowadays...

Moreover, the file tbb/tbb_stddef.h included by Storm is no longer available.

Anyway... my proposal would be to (at some point) drop support for TBB entirely in favor of parallel algorithms that were added in c++17. GCC supports them already (btw they use tbb under the hood). Unfortunately, the parallel algorithms are not yet available for clang.

[sjunges]

Do we want to drop TBB now for the time being and add parallel algorithms at a later stage?

[AlexBork]

I'd be in favor. I think it's more worth it to put in the effort with other solutions.

[sjunges]

The inclusion is removed by #602. Removing TBB from sources should be done in another PR.