Поддерживает ли PySAT параллельное решение?

#python #multithreading #pysat #python #многопоточность #pysat Вопрос: Я использую PySAT. Есть ли где-нибудь параметр threads number? Или упакованный решатель, который можно распараллелить таким образом? (В настоящее время я использую решатель…