Неопределенная ошибка символа при установке Cryptominisat ⇐ Linux

[Anonymous]

Я установил Cryptominisat, используя следующую команду (приведен по адресу https://github.com/msoos/cryptominisat):

Код: Выделить всё

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

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

git clone https://github.com/meelgroup/cadical
cd cadical
git checkout mate-only-libraries-1.8.0
./configure
make
cd ..

git clone https://github.com/meelgroup/cadiback
cd cadiback
git checkout mate
./configure
make
cd ..

git clone https://github.com/msoos/cryptominisat
cd cryptominisat
mkdir build && cd build
cmake ..
make
sudo make install
sudo ldconfig
< /code>
он был установлен без какой -либо ошибки. n jupyter 

Я получаю следующие проблемы:
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.
< /code>
Некоторое решение в Интернете говорит, что мне нужно удалить все файлы, связанные с Cryptominisat, но их слишком много. Я также хочу проверить свою программу со многими SAT Solver. Так что удаление всех файлов minisat каждый раз я устанавливаю новый решатель SAT, кажется слишком длинным. < /P>
Есть ли другой способ разрешить вышеуказанную ошибку? , могу ли я создать среду, в которой пакеты не сталкиваются друг с другом?

Подробнее здесь: https://stackoverflow.com/questions/794 ... ptominisat