PyPI · pypi:pyboolector

PyBoolector actief

Python wrapper around the Boolector SMT solver

De nieuwste stabiele versie van PyBoolector is 3.2.4.38488416565, gepubliceerd op 2026-10-14. Geverifieerd door Vigia op 2026-11-14.

Nieuwste stabiele versie	3.2.4.38488416565
Gepubliceerd	2026-10-14 00:16:58 UTC
Installeren	`pip install --upgrade PyBoolector`
Vereist	niets opgegeven
Licentie	—
Beveiligingsadviezen voor de nieuwste versie	geen bekend
Laatst geverifieerd	2026-11-14 00:50:24 UTC
Bronnen	pypi.org

Onderhoud

Activiteit	actief
Laatste stabiele versie	2026-10-14 00:16:58 UTC · 31 dagen geleden
Stabiele versies in de afgelopen 12 maanden	3
Gepubliceerde versies	117

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Versiegeschiedenis

Versie	Gepubliceerd
`3.2.4.38488416565`	2026-10-14 00:16:58 UTC
`3.2.4.38487093147`	2026-10-14 00:01:08 UTC
`3.2.4.38485682399`	2026-10-13 23:43:37 UTC
`3.2.4.19342042739`	2025-11-13 18:38:49 UTC
`3.2.4.19199673826`	2025-11-08 22:49:46 UTC
`3.2.4.19199565967`	2025-11-08 22:38:20 UTC
`3.2.4.19`	2025-11-08 22:32:46 UTC
`3.2.4.20240823.1`	2024-08-23 23:00:20 UTC
`3.2.3.20240822.20`	2024-08-23 00:56:58 UTC
`3.2.3.20240822.1`	2024-08-22 19:17:21 UTC
`3.2.3.20240305.1`	2024-03-05 22:53:52 UTC
`3.2.3.20240215.1`	2024-02-16 00:14:57 UTC
`3.2.3.20231106.1`	2023-11-07 00:46:50 UTC
`3.2.3.20231101.1`	2023-11-03 17:58:26 UTC
`3.2.3.20230913.1`	2023-09-13 18:08:33 UTC
`3.2.3.20230911.5`	2023-09-11 23:03:52 UTC
`3.2.2.20230911.3`	2023-09-11 19:10:11 UTC
`3.2.2.20230110.4`	2023-01-10 23:46:51 UTC
`3.2.2.20230110.2`	2023-01-10 21:34:11 UTC
`3.2.2.20230110.1`	2023-01-10 20:42:45 UTC

De 20 meest recente van 117 versies worden getoond. JSON

Versiecompatibiliteit

Nieuwste stabiele versie die ondersteuning aangeeft voor elke runtimeversie (volgens de vereisten die met elke versie zijn gepubliceerd).

Runtime	Nieuwste compatibele versie
`python 3.8`	`3.2.4.38488416565`
`python 3.9`	`3.2.4.38488416565`
`python 3.10`	`3.2.4.38488416565`
`python 3.11`	`3.2.4.38488416565`
`python 3.12`	`3.2.4.38488416565`
`python 3.13`	`3.2.4.38488416565`

Geef je AI-agent deze feiten

Vigia is een gratis MCP-server: je coding-agent controleert versies, breaking changes en kwetsbaarheden voordat hij code schrijft. Geen account, geen API-sleutel.

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

Toevoegen aan Cursor Toevoegen aan VS Code ★ Ster op GitHub

Elke andere MCP-client

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Agent-skill (SKILL.md): vertelt de agent wanneer hij Vigia moet gebruiken · GitHub Action voor pull requests

Veelgestelde vragen

Wat is de nieuwste versie van PyBoolector?

De nieuwste stabiele versie van PyBoolector is 3.2.4.38488416565, gepubliceerd op 2026-10-14. Geverifieerd door Vigia op 2026-11-14.

Hoe installeer ik de nieuwste versie van PyBoolector?

Voer pip install --upgrade PyBoolector uit. De nieuwste stabiele versie is 3.2.4.38488416565 (gecontroleerd op 2026-11-14).

Is PyBoolector verouderd?

Nee. PyBoolector is in het register niet als verouderd gemarkeerd.

Welke Python-versie vereist PyBoolector?

PyBoolector 3.2.4.38488416565 geeft geen vereiste voor de Python-versie op.

Heeft PyBoolector 3.2.4.38488416565 bekende kwetsbaarheden?

Volgens de gegevens die Vigia controleert, gelden er geen bekende beveiligingsadviezen voor PyBoolector 3.2.4.38488416565.

Wordt PyBoolector nog onderhouden?

PyBoolector publiceerde de afgelopen 12 maanden 3 stabiele versies; de meest recente 31 dagen geleden. Activiteit: actief.

Waargenomen wijzigingen

Wed Oct 14 2026 00:19:32 GM +0000 (Coordinated Universal Time) — released 3.2.4.38487093147 → 3.2.4.38488416565
Wed Oct 14 2026 00:04:29 GM +0000 (Coordinated Universal Time) — released 3.2.4.38485682399 → 3.2.4.38487093147
ue Oct 13 2026 23:45:22 GMT+0000 (Coordinated Universal Time) — released 3.2.4.19342042739 → 3.2.4.38485682399

Gerelateerde pakketten

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de Markdown:

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

Voor agents

GET https://vigia.coredls.cloud/v1/packages/pypi/pyboolector
GET https://vigia.coredls.cloud/v1/packages/pypi/pyboolector/versions/{version}