运行示例时分割故障Gecode 6.2.0

Question

安装Gecode之后，当我试图运行examples/<some example>时，我会得到一个分段错误。我在make之前配置了

./configure -with-gmp-include=/usr/include/x86_64-linux-gnu/ -with-gmp-lib=/usr/lib/x86_64-linux-gnu/ -with-mpfr-include=/usr/include/ -with-mpfr-lib=/usr/lib/x86_64-linux-gnu/

在安装qt5-default之后。我的平台是Ubuntu20.04。make和make install似乎很好(没有错误)，但是当我尝试运行一个示例(在Gecode的示例文件夹中的任何示例)时，如果使用money示例，则会得到：

$ ./examples/money
SEND+MORE=MONEY
Segmentation fault (core dumped)

有什么想法吗？

Answer 1

安装后重新启动为我解决了这个问题。