p , q = z3.Ints('p q') AttributeError: module 'z3' has no attribute 'Ints'怎么解决

这个错误提示表明在z3模块中没有名为Ints的属性。可能是因为您的z3版本过低或未正确安装z3模块。您可以尝试更新z3模块或重新安装它来解决这个问题。以下是两种可能的解决方法：

1.更新z3模块：

pip install --upgrade z3-solver

2.重新安装z3模块：

pip uninstall z3-solver
pip install z3-solver