Subject: [bug#78007] [PATCH] gnu: z3: Update to 4.14.1.

From: Andreas Enge <[email-masked]>
Date: Mon, 28 Apr 2025 21:01:39 +0200

Hello,

Am Sun, Apr 27, 2025 at 01:14:12PM +0100 schrieb Christopher Baines:
> This seems to break python-pysmt according to QA, do you see that
> failure locally?

I can confirm the problem, with the following error message:
=========================== short test summary info ============================
FAILED pysmt/test/test_back.py::TestBasic::test_z3_back_formulae - NotImplementedError: Unknown function 'ubv_to_int'
====== 1 failed, 480 passed, 91 skipped, 65 warnings in 191.48s (0:03:11) ======

This indeed seems to indicate that the z3 API has changed in an
incompatible way.

Andreas