Unable to install IKOS 3.1 on Ubuntu 22.04 using Homebrew

[jsforyu]

==> Installing ikos from nasa-sw-vnv/core
==> python3 -m venv --system-site-packages --without-pip /home/linuxbrew/.linuxbrew/Cella
==> python3 -m pip --python=/home/linuxbrew/.linuxbrew/Cellar/ikos/3.1_1/libexec/vendor/b
==> cmake -G Unix Makefiles -DGMP_ROOT=/home/linuxbrew/.linuxbrew/opt/gmp -DMPFR_ROOT=/ho
==> make install
Last 15 lines from /home/yuyu/.cache/Homebrew/Logs/ikos/04.make:
114 | std::vector< DataLayoutInfo > floats;
| ^~~~~~
/tmp/ikos-20230926-196325-1aezz2v/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:3: note: 'std::vector' is defined in header ''; did you forget to '#include '?
114 | std::vector< DataLayoutInfo > floats;
| ^~~
/tmp/ikos-20230926-196325-1aezz2v/ikos-3.1/ar/src/pass/add_partitioning_variables.cpp:59:50: error: variable 'constexpr const std::array<unsigned int, 4> ikos::ar::bit_widths' has initializer but incomplete type
59 | constexpr static const std::array< unsigned, 4 > bit_widths = {1, 8, 32, 64};
| ^~~~~~~~~~
make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:132: ar/CMakeFiles/ikos-ar.dir/src/pass/add_partitioning_variables.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:1497: ar/CMakeFiles/ikos-ar.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
[ 9%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/remove_unreachable_blocks.cpp.o
[ 11%] Linking CXX static library libikos-pp.a
[ 11%] Built target ikos-pp-lib
make: *** [Makefile:146: all] Error 2