linux - Undefined symbol error while installing cryptominisat - Stack Overflow

admin管理员组

文章数量:1279015

I installed cryptominisat using the following command (given at ):

sudo apt-get install build-essential cmake libgmp-dev

# not required but very useful
sudo apt-get install zlib1g-dev

git clone 
cd cadical
git checkout mate-only-libraries-1.8.0
./configure
make
cd ..

git clone 
cd cadiback
git checkout mate
./configure
make
cd ..

git clone 
cd cryptominisat
mkdir build && cd build
cmake ..
make
sudo make install
sudo ldconfig

It was installed without any error.

However, later on when I ran the code under anaconda environment, e.g., conda activate sage && sage -n jupyter

I am getting the following issues:

FeatureNotPresentError: pycryptosat is not available.
Importing Solver failed: /home/satyam/anaconda3/envs/sage/lib/python3.12/site-packages/pycryptosat.cpython-312-x86_64-linux-gnu.so: undefined symbol: _ZN5CMSat6Solver12oracle_vivifERb
No equivalent system packages for pip are known to Sage.

Earlier I resolved same issue, by exploring either ChatGpt or some answer on internet. As i remember, first i deleted all files related to cryptominisat i.e., at the location /usr/local/bin/, /usr/local/bin/, /usr/local/include, /usr/local/lib/, /usr/local/share/. Aterwards, I do not remember the process. I also want to test my program with many SAT solver. So removing all files of minisat each times I install a new SAT solver, seems too lengthy.

1. Is there any way to resolve the above error?
2. If I want to install many SAT solver (just for performance comparison) can I create an environment where packages does not clash with each other?

Update : 1st problem got resolved. I followed the following steps:

1. Remove all the files related to minisat/cryptominisat.

sudo rm -rf /usr/local/bin/minisat*
sudo rm -rf /usr/local/lib/minisat*
sudo rm -rf /usr/local/include/minisat*
sudo rm -rf /usr/local/share/minisat*

2. Use anaconda-navigator to install cryptominisat

It will show the conflict if any. In my case, it was that the current available version of cryptominisat was not compatible with the latest version of Python i.e. python 3.12 So I created a new environment and installed using ananconda-navigator

本文标签： linuxUndefined symbol error while installing cryptominisatStack Overflow