Free-threaded support in Z3-Python

[alcides]

Python 3.13 and 3.14 provide an alternative binary that support free-threading (shared-memory parallelism as in Java, with no GIL).

z3-solver is not featured in the page I usually lookup these things on: https://hugovk.github.io/free-threaded-wheels/ but I found no reference here on GitHub or elsewhere on the web.

Does anyone have any idea if there is support for this?

[NikolajBjorner]

Assign this to copilot or read the online material of how to package it?

Free-threaded wheels have an ABI tag ending in t, for example, cp313t.

My understanding so far is that one has to build for a "newer" version of Python and tag the wheels accordingly.