Vigia

PyPI · pypi:pyboolector

PyBoolector đang hoạt động

Python wrapper around the Boolector SMT solver

Phiên bản ổn định mới nhất của PyBoolector là 3.2.4.38488416565, phát hành ngày 2026-10-14. Vigia xác minh lúc 2026-11-14.

Phiên bản ổn định mới nhất3.2.4.38488416565
Ngày phát hành2026-10-14 00:16:58 UTC
Cài đặtpip install --upgrade PyBoolector
Yêu cầukhông khai báo
Giấy phép—
Cảnh báo bảo mật của phiên bản mới nhấtchưa có
Xác minh lần cuối2026-11-14 00:50:24 UTC
Nguồnpypi.org

Bảo trì

Mức hoạt độngđang hoạt động
Phiên bản ổn định gần nhất2026-10-14 00:16:58 UTC · 31 ngày trước
Phiên bản ổn định trong 12 tháng qua3
Số phiên bản đã phát hành117

Ước lượng chỉ dựa trên ngày phát hành; không đo thời gian phản hồi issue hay sự cố bảo mật.

Lịch sử phiên bản

Phiên bảnNgày phát hành
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

Đang hiển thị 20 phiên bản mới nhất trong tổng số 117. JSON

Khả năng tương thích phiên bản

Phiên bản ổn định mới nhất khai báo hỗ trợ cho từng phiên bản môi trường chạy (theo yêu cầu được công bố cùng mỗi phiên bản).

Môi trường chạyPhiên bản tương thích mới nhất
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

Cung cấp dữ liệu này cho tác tử AI của bạn

Vigia là máy chủ MCP miễn phí: tác tử lập trình của bạn kiểm tra phiên bản, thay đổi phá vỡ tương thích và lỗ hổng trước khi viết mã. Không cần đăng ký, không cần khóa API.

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

Thêm vào CursorThêm vào VS Code★ Gắn sao trên GitHub

Mọi ứng dụng MCP khác
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Kỹ năng cho tác tử (SKILL.md): cho tác tử biết khi nào dùng Vigia · GitHub Action cho pull request

Câu hỏi thường gặp

Phiên bản mới nhất của PyBoolector là gì?

Phiên bản ổn định mới nhất của PyBoolector là 3.2.4.38488416565, phát hành ngày 2026-10-14. Vigia xác minh lúc 2026-11-14.

Làm sao cài phiên bản mới nhất của PyBoolector?

Chạy pip install --upgrade PyBoolector. Phiên bản ổn định mới nhất là 3.2.4.38488416565 (xác minh ngày 2026-11-14).

PyBoolector có bị ngừng hỗ trợ không?

Không. PyBoolector không bị đánh dấu ngừng hỗ trợ trong registry.

PyBoolector yêu cầu phiên bản Python nào?

PyBoolector 3.2.4.38488416565 không khai báo yêu cầu về phiên bản Python.

PyBoolector 3.2.4.38488416565 có lỗ hổng đã biết không?

Theo dữ liệu mà Vigia kiểm tra, không có cảnh báo bảo mật đã biết nào ảnh hưởng đến PyBoolector 3.2.4.38488416565.

PyBoolector có còn được duy trì không?

PyBoolector đã phát hành 3 phiên bản ổn định trong 12 tháng qua; bản gần nhất cách đây 31 ngày. Mức hoạt động: đang hoạt động.

Thay đổi đã ghi nhận

Gói liên quan

Huy hiệu cho README của bạn

Hiển thị phiên bản mới nhất, tình trạng bảo trì và trạng thái ngừng hỗ trợ của gói này. Sao chép 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)

Dành cho tác tử

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