我正在尝试在分布式项目的多个节点上部署一些代码。这些节点上只有 Python 2.5，这是一个问题，因为我以 json 格式发送数据（主要是 json.loads 和 json.dumps）。由于政策原因，我无法安装新模块或升级 python。
我想解决这个问题的一种方法是手动将 json 中的字符串转换为 python 对象，反之亦然，但这听起来很痛苦。有没有更简单的方法来做到这一点？
p = Int('p')
q = Int('q')
s = Solver()
s.add(1<=p<=9, 1<=q<=19, 5<(3*p-4*q)<10)
s.check()
print s.model()
返回sat,并给出解决方案
[p = 0, q = 0]
这不符合约束.如果我删除最后的约束,它将返回一个满足前两个(平凡)约束的合理对.这是怎么回事？
永久链接在线试用:http://rise4fun.com/Z3Py/fk4
编辑:我是z3的新手,所以有可能我做了一些可怕的错误,让我知道.