How to run Z3 using multiple cores?

Asked Feb 06 '19 at 14:29

Active Feb 06 '19 at 14:29

Viewed 1,778 times

I am trying to improve the timing of my Z3 code. I have observed that Z3 always utilizes only one core, no matter how many cores my machine has. Is there a way in which Z3 might be able to use all the cores as it will certainly improve performance?

asked Feb 06 '19 at 14:29

mayur sathe

3

Possible duplicate of [Parallel solving in Z3](https://stackoverflow.com/questions/53246030/parallel-solving-in-z3) – Christoph Wintersteiger Feb 06 '19 at 15:25
3

See https://stackoverflow.com/questions/53246030/parallel-solving-in-z3 – Christoph Wintersteiger Feb 06 '19 at 15:25

How to run Z3 using multiple cores?

0 Answers0