libz3 4 libz3-4 (>= 4.13.3)