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