有没有办法在Z3中增加模型的内存空间？

Question

我使用Z3 .Net API开发了一个模型。该计划运行良好。但是当我增加输入大小（即模型大小）时，程序会运行很长时间，然后结束时会显示以下消息：

"Unhandled Exception: OutOfMemoryException."

我很想知道是否可以增加程序的内存大小。

Answer 1

如果您正在编译到x86平台，那么您将达到32位进程的2GB内存限制。如果您的目标是x64，那么您也无法绕过2GB limit of .NET objects。根据我的经验，在正常情况下，这2GB的限制就足够了。

您可以选择使用.NET和redirecting output string运行Z3可执行文件来自行处理。作为最后的手段，您可以使用Z3 C API重写程序中的内存关键部分，以绕过上述限制，我认为您可能不想这样做。