Есть ли способ увеличить объем памяти для модели в Z3?

Question

Я разработал модель, используя Z3 .Net API.Программа работает хорошо.Но когда я увеличиваю размер ввода (т. Е. Размер модели), программа запускается в течение длительного времени, а затем завершает работу, выдавая следующее сообщение:

"Unhandled Exception: OutOfMemoryException."

Мне интересно, есть ли способ увеличитьобъем памяти для программы.

Answer 1

Если вы компилируете на платформу x86, вы достигнете ограничения в 2 ГБ памяти для 32-битных процессов. Если вы нацелены на x64, существует также ограничение на 2 ГБ объектов .NET , которое вы не можете обойти. По моему опыту, этот предел 2 ГБ достаточно при нормальных обстоятельствах.

Вы можете запустить исполняемый файл Z3 с использованием .NET и , перенаправив строку вывода , чтобы обработать ее самостоятельно. В крайнем случае, вы можете переписать критически важную для памяти часть в вашей программе, используя Z3 C API, чтобы обойти вышеуказанные ограничения, что, я думаю, вы, возможно, не захотите делать.