Z3的C ++ API求解器检查中Z3_MEMOUT_FAIL断言失败？

Question

当我调用solver.check（）时，我得到一个Z3_MEMOUT_FAIL作为断言失败。这究竟意味着什么？ Z3功能只是内存不足吗？

Answer 1

是的，该异常意味着解算器内存不足。