Linux 加载CVC4的共享llibraries时出错

当我尝试测试cvc4安装时，我的终端不断出现错误。以下是我进行安装所采取的步骤：

安装先决条件

安装CVC4

环境

我在我的~/.个人资料末尾添加了这一行：

export LD_LIBRARY_PATH="/usr/local/lib:$LD_LIBRARY_PATH"

测试

然后我得到这个错误：

cvc4: error while loading shared libraries: libcvc4parser.so.4: cannot open shared object file: No such file or directory

---

我不确定出了什么问题。我是Linux新手，如果这有一个明显的解决方案，我深表歉意。

尝试在shell中手动运行相同的导出命令。配置文件仅在登录shell中运行，因此您可能需要注销并登录才能使其生效。请尝试（1）

source~/.profile

或（2）注销然后重新启动。第三个临时选项是使用

LD_LIBRARY_PATH=“/usr/local/lib:$LD_LIBRARY_PATH”cvc4

运行命令。谢谢大家。我感谢你的帮助。它现在似乎起作用了。

export LD_LIBRARY_PATH="/usr/local/lib:$LD_LIBRARY_PATH"

cvc4

cvc4: error while loading shared libraries: libcvc4parser.so.4: cannot open shared object file: No such file or directory