Enhanced z3 version check - now checking version used by smlp

[mdmitry1]

#!/usr/bin/env python3.11
from ctypes import cdll, c_char_p
from smlp import core
libsmlp=cdll.LoadLibrary(core.libsmlp.__file__)
z3_version=libsmlp.Z3_get_full_version
z3_version.restype=c_char_p
print(z3_version().decode())

[mdmitry1]

Reviewed changes

[fbrausse]

Re-loading libsmlp.*.so via cdll will never officially be supported as SMLP API usage. Irrespective of that I don't mind using that for your own checks. I don't understand why it needs to be part of the repository. Also, the printed version is not checked against anything, so what is the point of this z3_version.py script?

[mdmitry1]

Regression on Ubuntu 24.04 passed for both wheel types:

1. GitHub build
2. Docker build

and for both install types:

1. Virtual environment
2. sudo

[mdmitry1]

I'm checking z3 version manually.
If needed, can check compare it to expected version.
With regards to repository - this is the way README.md installation instructions are validated.

[mdmitry1]

Verified PR changes after merge with master