运行示例时出现分段错误 Gecode 6.2.0答案

【问题标题】：Segmentation fault Gecode 6.2.0 when running examples运行示例时出现分段错误 Gecode 6.2.0
【发布时间】：2022-11-10 17:32:46
【问题描述】：

安装 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 之后。我的平台是 Ubuntu 20.04。 make 和 make install 似乎很好（没有错误）但是当我尝试运行一个示例（Gecode 的示例文件夹中的任何示例）时，如果使用 money 示例，我会得到：

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

有任何想法吗？

【问题讨论】：

这将需要更多的上下文代码。有很多事情会导致分段错误，而且大部分都在您的代码中。
@tadman：这不是我的代码。这是 Gecode 的代码。
然后你必须调试他们的代码。正常程序是向作者提交错误报告。
@tadman：我认为这更多地与安装/配置问题有关，而不是代码问题。我很确定他们的代码很好。
我的建议：提交错误报告。

标签： c++ ubuntu-20.04 gecode

【解决方案1】：

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

【讨论】：

如果人们认为这更合适，很高兴删除问题和答案。