Как запустить Z3, используя несколько ядер? - PullRequest
0 голосов
/ 06 февраля 2019

Я пытаюсь улучшить синхронизацию моего кода Z3.Я заметил, что Z3 всегда использует только одно ядро, независимо от того, сколько ядер у моей машины.Есть ли способ, с помощью которого Z3 сможет использовать все ядра, поскольку это, безусловно, улучшит производительность?

...