PySAT convert a logical formula into a CNF without using Tseitin transformation...

Does PySAT support parallel solving?...