Vigia

PyPI · pypi:z3-solver

z3-solver actif

an efficient SMT solver library

La dernière version stable de z3-solver est la 5.4.1.0, publiée le 2026-11-11. Vérifié par Vigia le 2026-11-13.

Dernière version stable5.4.1.0
Publiée2026-11-11 02:07:13 UTC
Installerpip install --upgrade z3-solver
Exigeaucune déclarée
LicenceMIT License
Alertes de sécurité sur la dernière versionaucune connue
Dernière vérification2026-11-13 20:56:42 UTC
Sourcespypi.org

Maintenance

Activitéactive
Dernière version stable2026-11-11 02:07:13 UTC · il y a 2 jours
Versions stables sur les 12 derniers mois13
Versions publiées58

Heuristique fondée uniquement sur les dates de publication ; elle ne mesure pas les délais de réponse aux tickets ni aux problèmes de sécurité.

Historique des versions

VersionPubliée
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 retirée2026-02-09 01:08:27 UTC
4.15.6.0 retirée2026-02-08 20:26:58 UTC
4.15.5.0 retirée2026-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

Affichage des 20 plus récentes sur 58 versions. JSON

Donnez ces données à votre agent IA

Vigia est un serveur MCP gratuit : votre agent de code vérifie les versions, les changements incompatibles et les vulnérabilités avant d'écrire du code. Sans inscription ni clé d'API.

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

Ajouter à CursorAjouter à VS Code★ Étoile sur GitHub

Tout autre client MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill pour agents (SKILL.md) : indique à l'agent quand utiliser Vigia · GitHub Action pour les pull requests

Questions fréquentes

Quelle est la dernière version de z3-solver ?

La dernière version stable de z3-solver est la 5.4.1.0, publiée le 2026-11-11. Vérifié par Vigia le 2026-11-13.

Comment installer la dernière version de z3-solver ?

Exécutez pip install --upgrade z3-solver. La dernière version stable est 5.4.1.0 (vérifié le 2026-11-13).

z3-solver est-il déprécié ?

Non. z3-solver n’est pas marqué comme déprécié dans le registre.

Quelle version de Python z3-solver exige-t-il ?

z3-solver 5.4.1.0 ne déclare aucune exigence de version de Python.

z3-solver 5.4.1.0 présente-t-il des vulnérabilités connues ?

Aucune alerte de sécurité connue ne concerne z3-solver 5.4.1.0 d’après les données consultées par Vigia.

z3-solver est-il encore maintenu ?

z3-solver a publié 13 versions stables au cours des 12 derniers mois ; la plus récente il y a 2 jours. Activité : active.

Changements observés

Paquets associés

Badges pour votre README

Affichez la dernière version, l’état de maintenance et l’éventuelle dépréciation de ce paquet. Copiez le 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)

Pour les agents

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