我使用 Z3 .Net API 开发了一个模型。程序运行良好。但是当我增加输入大小(即模型大小)时,程序运行很长时间,然后结束并给出以下消息:
"Unhandled Exception: OutOfMemoryException."
我想知道有什么方法可以增加程序的内存大小。
最佳答案
如果您编译到 x86
平台,则会达到 32 位进程的 2GB 内存限制。如果您的目标是 x64
,还有 2GB limit of .NET objects你无法绕过它。根据我的经验,正常情况下这个 2GB 限制就足够了。
您可以选择使用 .NET 和 redirecting output string 运行 Z3 可执行文件。自己处理。作为最后的手段,您可以使用 Z3 C API 重写程序中的内存关键部分来绕过上述限制,我认为您可能不想这样做。
关于.net - 有没有办法增加Z3模型的内存空间?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9928903/