哪个SAT求解器能够暂停和恢复？

Question

在运行某些实例时，可能需要一段时间，我想在台式机之间切换，以免炒掉它们。

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