Tuesday, 9 February 2021

Does PySAT support parallel solving?

I'm using PySAT. Is there a threads number parameter somewhere? Or a packaged solver that can be parallelized in this way?

(Currently, I'm using the Glucose4 solver.)



from Does PySAT support parallel solving?

No comments:

Post a Comment