CP_SAT：是否可以限制使用的RAM？

Question

您知道在python中是否有一个参数将CP_SAT使用的RAM限制为某个值？

Answer 1

有一个参数，但仅在纯sat求解器中检查。

您可以从外部进行操作。 C ++中的时间限制或非C ++语言中的回调函数都有一个原子布尔值，指示是否应停止搜索。

您可以触发一个线程，该线程将每秒检查一次进程内存，并在超过给定阈值时停止搜索。

请参阅此part of the doc。