Please download SaProt from the following link and place it in this folder.

https://github.com/westlake-repl/SaProt