Is Z3 python interface threadsafe?

Question

within the python interface of Z3 variables can be created via methods: Int, Real, ....

Does anybody know whether these methods can be called concurrently in python? That means, are those methods threadsafe?

I would like to create variables concurrently.

Thanks,

score 1 · Accepted Answer · answered Mar 17 '15 at 05:58

1

I don't think so based on the documentation 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.

answered Mar 17 '15 at 05:58

Pramod

9,256
4
26
27

Is Z3 python interface threadsafe?

1 Answers1