https://github.com/shlomif/fc-solve/blob/bbc2e079a27f224ca214d4fd4838ea89057a9589/fc-solve/source/CMakeLists.txt#L267