cmake SEAL examples

intel/hexl-fpga experimental/bridge-seal/tests/CMakeLists.txt :12 

find_package(SEAL 4.0.0 REQUIRED)

zju-abclab/NEXUS CMakeLists.txt :15 

find_package(SEAL 4.1 REQUIRED)

microsoft/APSI CMakeLists.txt :125 

find_package(SEAL 4.1 QUIET REQUIRED)