Package z3 updated to version 4.15.2-alt2 for branch sisyphus in task 388644.
z3.z3types.Z3Exception: libz3.so not found
