optimization - 哪个 SAT 求解器可以暂停和恢复？

Question

运行某些实例时，可能需要一段时间，我想在我的台式电脑之间切换，以免炸毁它们。

因此，具有暂停和恢复长时间运行的求解器的功能会很有帮助。