2022.12.26

今日整了下z3
在装了python后在cmd中输入
pip install z3-solver
就可以使用了
注意需在python编辑前用
from z3 import*

posted @ 2022-12-26 19:31  润梧  阅读(36)  评论(0)  编辑  收藏  举报