{
  "pkgbase": "z3",
  "status": "success",
  "message": null,
  "local_version": "4.16.0",
  "upstream_version": "5.3.1",
  "out_of_date": true
}

Upstream URL: https://github.com/Z3Prover/z3

Package URL: https://archlinux.org/packages/?name=z3

Nvchecker URL: https://github.com/Z3Prover/z3

Current version 4.16.0 is latest, closing the issue.

{
  "pkgbase": "z3",
  "status": "success",
  "message": null,
  "local_version": "4.15.4",
  "upstream_version": "4.16.0",
  "out_of_date": true
}

Upstream URL: https://github.com/Z3Prover/z3

Package URL: https://archlinux.org/packages/?name=z3

Nvchecker URL: https://github.com/Z3Prover/z3

Levente Polyak (099b28f5) at 28 Mar 11:44

Levente Polyak (e86e0ab6) at 28 Mar 11:44

{
  "pkgbase": "z3",
  "status": "success",
  "message": null,
  "local_version": "4.15.4",
  "upstream_version": "4.16.0",
  "out_of_date": true
}

Upstream URL: https://github.com/Z3Prover/z3

Package URL: https://archlinux.org/packages/?name=z3

Nvchecker URL: https://github.com/Z3Prover/z3

Levente Polyak (178063d1) at 20 Jan 19:18

Levente Polyak (51b3f633) at 20 Jan 19:18

{
  "pkgbase": "z3",
  "status": "success",
  "message": null,
  "local_version": "4.15.1",
  "upstream_version": "4.15.4",
  "out_of_date": true
}

Upstream URL: https://github.com/Z3Prover/z3

Package URL: https://archlinux.org/packages/?name=z3

Nvchecker URL: https://github.com/Z3Prover/z3

Details

Description:

The attached patch adds the Java bindings to the build, producing a separate z3-java package. This obsoletes the unmaintained z3-java AUR package, which no longer properly builds z3.

Attachments

z3-java.diff

Description:

After python-z3-solver is installed, it is not recognized as a Python module when listed with pip --list. Other Arch packages are listed there. z3-solve is usable in Python programs but if developing with a requirement for z3-solver, pip/pipx will install another copy of z3 despite there being a system version available.

Steps to reproduce:

1. Install python-z3-solver package
2. Create a minimal pyproject.toml with the following contents:

[build-system]
requires = ["setuptools>=64"]
build-backend = "setuptools.build_meta"

[project]
name = "test-z3"
dependencies = [
    "z3-solver"
]

3. Run pip --list and note that z3-solver does not appear
4. Run pip install --break-system-packages --user .

pip will install a local copy of z3-solver in ~/.local/lib/python3.11/site-packages despite it being installed system-wide (remove using pip uninstall --break-system-packages z3-solver)

Fix:

I believe that instead of compiling using cmake and ninja, it would be better to follow https://wiki.archlinux.org/title/Python_package_guidelines#Standards_based_(PEP_517), and run python -m build --wheel --no-isolation -x in src/api/python in the Z3 sources.

Levente Polyak (ea03a147) at 20 Jan 17:32

Levente Polyak (78c9fc41) at 20 Jan 17:32

Jakub Klinkovský (ba0c2905) at 19 Dec 07:29

Jakub Klinkovský (5811c10b) at 19 Dec 07:29

Issue updated to match the latest 4.15.4 upstream version.

Issue updated to match the latest 4.15.3 upstream version.

{
  "pkgbase": "z3",
  "status": "success",
  "message": null,
  "local_version": "4.15.1",
  "upstream_version": "4.15.4",
  "out_of_date": true
}

Upstream URL: https://github.com/Z3Prover/z3

Package URL: https://archlinux.org/packages/?name=z3

Nvchecker URL: https://github.com/Z3Prover/z3

Sven-Hendrik Haase (cabee2c0) at 26 Jul 18:23

Antonio Rojas (977b5849) at 15 Jun 10:37