PyPI · pypi:pyboolector

PyBoolector aktif

Python wrapper around the Boolector SMT solver

Versi stabil terbaru PyBoolector adalah 3.2.4.38488416565, diterbitkan pada 2026-10-14. Diverifikasi oleh Vigia pada 2026-11-14.

Versi stabil terbaru	3.2.4.38488416565
Diterbitkan	2026-10-14 00:16:58 UTC
Instal	`pip install --upgrade PyBoolector`
Membutuhkan	tidak dinyatakan
Lisensi	—
Peringatan keamanan pada versi terbaru	tidak ada yang diketahui
Terakhir diverifikasi	2026-11-14 00:50:24 UTC
Sumber	pypi.org

Pemeliharaan

Aktivitas	aktif
Versi stabil terakhir	2026-10-14 00:16:58 UTC · 31 hari lalu
Versi stabil dalam 12 bulan terakhir	3
Versi yang diterbitkan	117

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Riwayat versi

Versi	Diterbitkan
`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

Menampilkan 20 versi terbaru dari 117 versi. JSON

Kompatibilitas versi

Versi stabil terbaru yang menyatakan mendukung setiap versi runtime (berdasarkan persyaratan yang diterbitkan bersama setiap versi).

Runtime	Versi kompatibel terbaru
`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`

Berikan fakta ini ke agen AI Anda

Vigia adalah server MCP gratis: agen coding Anda memeriksa versi, perubahan yang merusak kompatibilitas, dan kerentanan sebelum menulis kode. Tanpa pendaftaran, tanpa kunci API.

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

Tambahkan ke Cursor Tambahkan ke VS Code ★ Bintang di GitHub

Klien MCP lainnya

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

Skill agen (SKILL.md): memberi tahu agen kapan memakai Vigia · GitHub Action untuk pull request

Pertanyaan umum

Apa versi terbaru PyBoolector?

Versi stabil terbaru PyBoolector adalah 3.2.4.38488416565, diterbitkan pada 2026-10-14. Diverifikasi oleh Vigia pada 2026-11-14.

Bagaimana cara menginstal versi terbaru PyBoolector?

Jalankan pip install --upgrade PyBoolector. Versi stabil terbaru adalah 3.2.4.38488416565 (diverifikasi 2026-11-14).

Apakah PyBoolector sudah usang?

Tidak. PyBoolector tidak ditandai sebagai usang di registri.

Versi Python berapa yang dibutuhkan PyBoolector?

PyBoolector 3.2.4.38488416565 tidak menyatakan kebutuhan versi Python.

Apakah PyBoolector 3.2.4.38488416565 memiliki kerentanan yang diketahui?

Tidak ada peringatan keamanan yang diketahui untuk PyBoolector 3.2.4.38488416565 menurut data yang diperiksa Vigia.

Apakah PyBoolector masih dikelola?

PyBoolector menerbitkan 3 versi stabil dalam 12 bulan terakhir; yang terbaru 31 hari lalu. Aktivitas: aktif.

Perubahan yang teramati

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

Paket terkait

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin 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)

Untuk agen

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