Vigia

PyPI · pypi:pyboolector

PyBoolector active

Python wrapper around the Boolector SMT solver

The latest stable version of PyBoolector is 3.2.4.38488416565, published on 2026-10-14. Verified by Vigia on 2026-11-13.

Latest stable version3.2.4.38488416565
Published2026-10-14 00:16:58 UTC
Installpip install --upgrade PyBoolector
Requiresnone declared
License—
Advisories on latest versionnone known
Last verified2026-11-13 18:50:23 UTC
Sourcespypi.org

Maintenance

Activityactive
Last stable release2026-10-14 00:16:58 UTC · 30 days ago
Stable releases in the last 12 months3
Published versions117

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

Version history

VersionPublished
3.2.4.384884165652026-10-14 00:16:58 UTC
3.2.4.384870931472026-10-14 00:01:08 UTC
3.2.4.384856823992026-10-13 23:43:37 UTC
3.2.4.193420427392025-11-13 18:38:49 UTC
3.2.4.191996738262025-11-08 22:49:46 UTC
3.2.4.191995659672025-11-08 22:38:20 UTC
3.2.4.192025-11-08 22:32:46 UTC
3.2.4.20240823.12024-08-23 23:00:20 UTC
3.2.3.20240822.202024-08-23 00:56:58 UTC
3.2.3.20240822.12024-08-22 19:17:21 UTC
3.2.3.20240305.12024-03-05 22:53:52 UTC
3.2.3.20240215.12024-02-16 00:14:57 UTC
3.2.3.20231106.12023-11-07 00:46:50 UTC
3.2.3.20231101.12023-11-03 17:58:26 UTC
3.2.3.20230913.12023-09-13 18:08:33 UTC
3.2.3.20230911.52023-09-11 23:03:52 UTC
3.2.2.20230911.32023-09-11 19:10:11 UTC
3.2.2.20230110.42023-01-10 23:46:51 UTC
3.2.2.20230110.22023-01-10 21:34:11 UTC
3.2.2.20230110.12023-01-10 20:42:45 UTC

Showing the 20 most recent of 117 versions. JSON

Version compatibility

Newest stable version that declares support for each runtime version (from the requirements published with each version).

RuntimeNewest compatible version
python 3.83.2.4.38488416565
python 3.93.2.4.38488416565
python 3.103.2.4.38488416565
python 3.113.2.4.38488416565
python 3.123.2.4.38488416565
python 3.133.2.4.38488416565

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 PyBoolector?

The latest stable version of PyBoolector is 3.2.4.38488416565, published on 2026-10-14. Verified by Vigia on 2026-11-13.

How do I install the latest version of PyBoolector?

Run pip install --upgrade PyBoolector. The latest stable version is 3.2.4.38488416565 (verified 2026-11-13).

Is PyBoolector deprecated?

No. PyBoolector is not marked as deprecated in the registry.

Which Python version does PyBoolector require?

PyBoolector 3.2.4.38488416565 does not declare a Python version requirement.

Does PyBoolector 3.2.4.38488416565 have known vulnerabilities?

No known advisories affect PyBoolector 3.2.4.38488416565 according to the data Vigia checks.

Is PyBoolector still maintained?

PyBoolector published 3 stable releases in the last 12 months; the most recent was 30 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/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)

For agents

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