Alexey Ignatiev

@WonJayne great to know that the toolkit was of help, thanks! :) And thank you for preparing the example. I believe it will be useful for a wide audience of...

@WonJayne, by any chance, did you manage to prepare the example? :)

@WonJayne, please let me know if your use of PySAT in parallel was done [in a similar vein](https://github.com/pysathq/pysat/issues/70#issuecomment-775069522).

Hi @WonJayne, I do like the idea. In fact, @msoos and I discussed this in July 2020. My concern was the limited incremental functionality offered by CMS at that time....

Well, there were quite a few methods [in the list here](https://pysathq.github.io/docs/html/api/solvers.html#pysat.solvers.Solver) missing in CMS at that point.