Updated to SEAL 3.1

CMakeLists.txt

@@ -11,7 +11,7 @@ add_executable(sealpir
 	pir_server.cpp
 )
 
-find_package(SEAL 3.2.0 EXACT REQUIRED)
+find_package(SEAL 3.1.0 EXACT REQUIRED)
 
 target_link_libraries(sealpir SEAL::seal
 )

README.md

@@ -5,11 +5,11 @@ SealPIR is a (research) library and should not be used in production systems. Se
 
 # Compiling SEAL
 
-SealPIR depends on Microsoft SEAL version 3.2 ([link](https://www.microsoft.com/en-us/research/project/simple-encrypted-arithmetic-library/)). Download Microsoft SEAL, and follow the instructions in README.md to install it system-wide.
+SealPIR depends on Microsoft SEAL version 3.1.0 ([link](https://www.microsoft.com/en-us/research/project/simple-encrypted-arithmetic-library/)). Download Microsoft SEAL from [GitHub](https://GitHub.com/Microsoft/SEAL), and follow the instructions in README.md to install it system-wide.
 
 # Compiling SealPIR
 
-Once Microsoft SEAL 3.2 is installed, to build SealPIR simply run:
+Once Microsoft SEAL 3.1.0 is installed, to build SealPIR simply run:
 
 	cmake .
 	make