Неопределенная ошибка символа при установке 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>
раньше я решил ту же проблему, изучив Chatgpt или некоторый ответ в Интернете. Насколько я помню, сначала я удалил все файлы, связанные с Cryptominisat, т. Е. В месте/USR/Local/Bin/,/USR/Local/Bin/,/USR/Local/include/usr/local/lib/,/usr /local/share/

. Помимо, я не помню процесс. Я также хочу проверить свою программу со многими SAT Solver. Таким образом, удаление всех файлов minisat каждый раз я устанавливаю новый решатель SAT, кажется слишком длинным. >
Если я хочу установить много SAT решателя (только для сравнения производительности) Могу ли я создать среду, в которой пакеты не сталкиваются друг с другом? < /li>
< /ol>
Обновление: < /strong> 1 -я проблема была решена. Я выполнил следующие шаги: < /p>

Удалите все файлы, связанные с Minisat /Cryptominisat. < /Li>
< /ol>
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*
< /code>

Используйте anaconda-navigator для установки Cryptominisat < /li>
< /ol>
it покажет конфликт, если таковые имеются. В моем случае, это было то, что текущая доступная версия Cryptominisat не была совместимой с последней версией Python, то есть Python 3.12
, поэтому я создал новую среду и установил с использованием Ananconda-navigator < /p>

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