🔧 Simplify .readthedocs.yaml

[denialhaag]

Description

This PR simplifies .readthedocs.yaml by using method: uv.

Checklist

• The pull request only contains commits that are focused and relevant to this change.
• I have added appropriate tests that cover the new/changed functionality.
• I have updated the documentation to reflect these changes.
• I have added entries to the changelog for any noteworthy additions, changes, fixes, or removals.
• I have added migration instructions to the upgrade guide (if needed).
• The changes follow the project's style guidelines and introduce no new warnings.
• The changes are fully tested and pass the CI checks.
• I have reviewed my own code changes.

[denialhaag]

@burgholzer, looks like this is not possible yet. 😞

-- Found Z3 includes and libraries in system paths.
-- Found unsuitable version "4.8.12.0", but required is at least "4.8.15"

[burgholzer]

@burgholzer, looks like this is not possible yet. 😞

-- Found Z3 includes and libraries in system paths.

-- Found unsuitable version "4.8.12.0", but required is at least "4.8.15"

Damn. I suppose there are no 26.04 images yet, right?

[denialhaag]

Damn. I suppose there are no 26.04 images yet, right?

There is an ubuntu-26.04 image, but it doesn't help either. 😕

[denialhaag]

Closing this as we cannot use mehtod: uv here yet.