如何解决CP_SAT：是否可以限制使用的RAM？
您知道在python中是否有一个参数将CP_SAT使用的RAM限制为某个值？
解决方法
有一个参数，但仅在纯sat求解器中检查。
您可以从外部进行操作。 C ++中的时间限制或非C ++语言中的回调函数都有一个原子布尔值，指示是否应停止搜索。
您可以触发一个线程，该线程将每秒检查一次进程内存，并在超过给定阈值时停止搜索。
请参阅此part of the doc。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
