我正在尝试使用BONMIN解算器在我的Linux机器上进行pyomo模型的优化。我已经使用命令
安装了Bonmin-1.8.6./configure
sudo make
sudo make install
但在此之后，我无法找到bonmin的二进制文件。我尝试了locate bonmin命令，但我找到的只是各种目录和名称为Bonmin的文件。我在安装步骤中做错了吗？
我也尝试下载Bonmin-1.0.1的二进制文件。运行二进制文件后，它会抛出错误
error while loading shared libraries: libsvml.so: cannot open shared object file: No such file or directory.
在搜索到这个错误之后，我觉得问题是关于编译器（gcc vs intel编译器）。我还在网上下载了libsvml.so文件，但它是为32位系统而构建的，而我正在使用64位系统。
Ipopt也有同样的libsvml.so缺失问题。但是我重新安装了用于gcc编译器的ipopt（版本-3.7.1）。我安装了ipopt-3.7.1并且功能齐全。我无法为Bonmin做这件事。 有什么方法可以解决这个缺少的libsvml.so问题吗？
由于