全国高校密码数学挑战赛挑战赛2021 -- 分组密码密钥恢复问题 required: sage, cryptominisat mkdir build && cd build cmake .. && make cd ../bin ./main 1