[Termtools] Running Z3 on StarExec

[Matthias Heizmann]

Hi all,

our tool needs SMT solvers. For one task we want to use Z3. I included a 
binary of Z3 the tool which I uploaded, but I get the following error message:

/usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.15' not found (required by ./../z3/z3)
/lib64/libc.so.6: version `GLIBC_2.14' not found (required by ./../z3/z3)

Did anyone of you also had this problem and already found a good solution?

Best,
Matthias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150703/ece63a7c/attachment.sig>