cmake SEAL examples

zju-abclab/NEXUS CMakeLists.txt :15 

find_package(SEAL 4.1 REQUIRED)