Installation¶ System dependency¶ You need GMP headers + libraries: gmp gmpxx (C++ wrapper) Examples: Ubuntu / DebianArchmacOS (Homebrew) sudo apt-get update sudo apt-get install -y libgmp-dev sudo pacman -S gmp brew install gmp Build¶ Typical out-of-tree build: cmake -S . -B build -DCMAKE_BUILD_TYPE=Release cmake --build build -j If the project installs targets: cmake --install build