Vigia

PyPI · pypi:z3-solver

z3-solver active

an efficient SMT solver library

The latest stable version of z3-solver is 5.4.1.0, published on 2026-11-11. Verified by Vigia on 2026-11-13.

Latest stable version5.4.1.0
Published2026-11-11 02:07:13 UTC
Installpip install --upgrade z3-solver
Requiresnone declared
LicenseMIT License
Advisories on latest versionnone known
Last verified2026-11-13 14:56:42 UTC
Sourcespypi.org

Ask your AI assistant to check this

AI models are trained up to a date, so they can be wrong about versions, deprecations and vulnerabilities. Paste this into Claude, ChatGPT, Perplexity or Cursor and it will answer with the verified data on this page:

Before answering about the pypi package "z3-solver", check Vigia (verified, dated facts): https://vigia.coredls.cloud/v1/packages/pypi/z3-solver . For my whole project use https://vigia.coredls.cloud/context

Check my whole package.json

Using an AI coding agent every day? Connect Vigia once and it checks this by itself.

Maintenance

Activityactive
Last stable release2026-11-11 02:07:13 UTC · 2 days ago
Stable releases in the last 12 months13
Published versions58

Heuristic based only on release dates; it does not measure issue or security response times.

Version history

VersionPublished
5.4.1.02026-11-11 02:07:13 UTC
5.4.0.02026-11-10 04:31:16 UTC
5.3.3.02026-10-29 14:13:49 UTC
5.3.2.02026-10-25 13:35:47 UTC
5.3.1.02026-10-15 21:26:58 UTC
5.3.0.02026-10-14 21:00:32 UTC
5.1.0.02026-08-16 04:29:02 UTC
5.0.0.02026-07-17 01:53:49 UTC
4.16.0.02026-02-19 04:13:44 UTC
4.15.8.02026-02-12 20:58:34 UTC
4.15.7.0 withdrawn2026-02-09 01:08:27 UTC
4.15.6.0 withdrawn2026-02-08 20:26:58 UTC
4.15.5.0 withdrawn2026-02-07 19:34:37 UTC
4.15.4.02025-10-29 18:11:46 UTC
4.15.3.02025-08-16 02:27:18 UTC
4.15.1.02025-06-08 18:54:25 UTC
4.15.0.02025-05-10 01:15:21 UTC
4.14.1.02025-03-11 00:02:56 UTC
4.14.0.02025-02-18 22:41:18 UTC
4.13.4.02024-12-16 16:44:03 UTC

Showing the 20 most recent of 58 versions. JSON

Give your AI agent these facts

Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Add to CursorAdd to VS Code★ Star on GitHub

Any other MCP client
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests

Frequently asked questions

What is the latest version of z3-solver?

The latest stable version of z3-solver is 5.4.1.0, published on 2026-11-11. Verified by Vigia on 2026-11-13.

How do I install the latest version of z3-solver?

Run pip install --upgrade z3-solver. The latest stable version is 5.4.1.0 (verified 2026-11-13).

Is z3-solver deprecated?

No. z3-solver is not marked as deprecated in the registry.

Which Python version does z3-solver require?

z3-solver 5.4.1.0 does not declare a Python version requirement.

Does z3-solver 5.4.1.0 have known vulnerabilities?

No known advisories affect z3-solver 5.4.1.0 according to the data Vigia checks.

Is z3-solver still maintained?

z3-solver published 13 stable releases in the last 12 months; the most recent was 2 days ago. Activity: active.

Observed changes

Related packages

Badges for your README

Show the latest version, maintenance status and deprecation status of this package. Copy the Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/z3-solver/version.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![maintained](https://vigia.coredls.cloud/badge/pypi/z3-solver/maintained.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![status](https://vigia.coredls.cloud/badge/pypi/z3-solver/status.svg)](https://vigia.coredls.cloud/pypi/z3-solver)

For agents

GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver/versions/{version}