从一道Crypto题目认识z3 AnQuanKeInfo

从一道Crypto题目认识z3

前言
最近在看密码学的题目,一直听说过Z3的强大,今天终于体会了一次,于是有了这篇文章记录一下。题干分析
题目直接给出了密文生成文本:
#!/usr/bin/e