I followed the instructions in COMPILING.md using cmake and was not able to compile cmbc on mac.

It appeared that the necessary cmake command should also specify a C++ compiler (clang), otherwise C++'s standard library won't be found. The following is the command line I used:

cmake -S. -Bbuild -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DWITH_JBMC=OFF