技术栈
z3
阿图灵
2 小时前
爬虫
·
playwright
·
反爬
·
z3
·
猫眼票房
猫眼票房监控系统实战：z3 约束求解破解字体混淆反爬
项目地址（Gitee）：https://gitee.com/Touari/boxoffice-monitor.git 项目定位：破解猫眼专业版字体混淆反爬，实时抓取解码票房，提供监控/报表/API 全链路服务 技术栈：Python 3.11 · Playwright 1.62 · z3-solver 5.1 · FastAPI 0.133 · SQLite 所有数据均为实测（2026-08-20）
晴友读钟
2 年前
ctf
·
reverse
·
z3
批量替换字符串中的某子串序列为对应的另一子串序列（z3求解器解多元方程时很好用）
标题有点拗口，看问题需求就理解了——有一个字符串s1，其中包含a1、a2、a3到a14这些子串，我需要将s1中出现的这些子串全部对应替换成v[0]，v[1]，v[2]到v[13]等等，应该怎么编写程序
我是有底线的