Replies: 1 comment
-
|
Problem solved: module load gcc/9.2.0 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I downloaded and built cadical. Getting errors when trying to run it:
./cadical
./cadical: /lib64/libstdc++.so.6: version
CXXABI_1.3.8' not found (required by ./cadical) ./cadical: /lib64/libstdc++.so.6: versionGLIBCXX_3.4.21' not found (required by ./cadical)./cadical: /lib64/libstdc++.so.6: version `CXXABI_1.3.9' not found (required by ./cadical)
Any suggestions? Thanks :)
Beta Was this translation helpful? Give feedback.
All reactions