摘要：安装方法 pip install z3-solver 或者也可以去github https://github.com/Z3Prover/z3 使用方法 申明变量 一，申请 Int对象 语法 “ Int(name) ” name即对象名字 x = Int('x') 似乎只能进行加减乘除的约束 二，申请 阅读全文

摘要：线段树 void PushUp(ll rt){ Sum[rt]=Sum[rt<<1]+Sum[rt<<1|1]; } void Build(ll l,ll r,ll rt){ if(l==r){ Sum[rt]=A[l]; return ; } ll m=(l+r)>>1; Build(l,m,rt 阅读全文

摘要：http://www.starssgo.top/2019/12/06/%E6%A0%BC%E5%BC%8F%E5%8C%96%E5%AD%97%E7%AC%A6%E4%B8%B2%E5%9C%A8bss%E6%AE%B5%E7%9A%84%E5%A4%84%E7%90%86/ from pwn im 阅读全文