Undefinierter Symbolfehler bei der Installation von Cryptominisat ⇐ Linux

[Guest]

Ich habe Cryptominisat mit dem folgenden Befehl installiert (angegeben unter https://github.com/msoos/cryptominisat):

Code: Select all

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>
Es wurde ohne Fehler installiert. n Jupyter 

Ich erhalte die folgenden Probleme:
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>
Eine Lösung im Internet besagt, dass ich alle Dateien löschen muss, die sich mit Cryptominisat beziehen, aber es gibt zu viele. Ich möchte auch mein Programm mit vielen Sat Solver testen. Das Entfernen aller Dateien von Minisat, die jeweils ich einen neuen SAT -Solver installiere, scheint zu langwierig. , Kann ich eine Umgebung erstellen, in der Pakete nicht miteinander in Konflikt geraten?