Z3 python 接口线程安全吗？
Is Z3 python interface threadsafe?
在 Z3 变量的 python 接口中可以通过方法创建：Int, Real, ....
有谁知道在python中这些方法是否可以并发调用？也就是说，这些方法是线程安全的吗？
我想并发创建变量。
谢谢，
根据文档，我不这么认为 here。
It is not safe to access Z3 objects from multiple threads. The only
exception is the method interrupt() that can be used to interrupt()
a long computation.
在 Z3 变量的 python 接口中可以通过方法创建：Int, Real, ....
有谁知道在python中这些方法是否可以并发调用？也就是说，这些方法是线程安全的吗？
我想并发创建变量。
谢谢，
根据文档，我不这么认为 here。
It is not safe to access Z3 objects from multiple threads. The only exception is the method
interrupt()that can be used to interrupt() a long computation.