Vigia

PyPI · pypi:pyboolector

PyBoolector نشطة

Python wrapper around the Boolector SMT solver

أحدث إصدار مستقر من PyBoolector هو 3.2.4.38488416565، نُشر في 2026-10-14. تحقّق منه Vigia في 2026-11-14.

أحدث إصدار مستقر3.2.4.38488416565
تاريخ النشر2026-10-14 00:16:58 UTC
التثبيتpip install --upgrade PyBoolector
تتطلبلم يُحدَّد
الترخيص—
التنبيهات الأمنية لأحدث إصدارلا يوجد ما هو معروف
آخر تحقق2026-11-14 00:50:24 UTC
المصادرpypi.org

الصيانة

النشاطنشطة
آخر إصدار مستقر2026-10-14 00:16:58 UTC · قبل 31 يومًا
الإصدارات المستقرة خلال آخر 12 شهرًا3
الإصدارات المنشورة117

تقدير تقريبي يعتمد على تواريخ النشر فقط؛ ولا يقيس سرعة الاستجابة للمشكلات أو للثغرات الأمنية.

سجل الإصدارات

الإصدارتاريخ النشر
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

يُعرض أحدث 20 من أصل 117 إصدارًا. JSON

توافق الإصدارات

أحدث إصدار مستقر يعلن دعمه لكل إصدار من بيئة التشغيل (وفق المتطلبات المنشورة مع كل إصدار).

بيئة التشغيلأحدث إصدار متوافق
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

زوّد وكيل الذكاء الاصطناعي بهذه البيانات

Vigia خادم MCP مجاني: يتحقق وكيل البرمجة لديك من الإصدارات والتغييرات غير المتوافقة والثغرات قبل أن يكتب الشيفرة. بلا تسجيل ولا مفتاح API.

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

أضِف إلى Cursorأضِف إلى VS Code★ نجمة على GitHub

أي عميل MCP آخر
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

مهارة للوكلاء (SKILL.md): تخبر الوكيل متى يستخدم Vigia · GitHub Action لطلبات السحب

الأسئلة الشائعة

ما أحدث إصدار من PyBoolector؟

أحدث إصدار مستقر من PyBoolector هو 3.2.4.38488416565، نُشر في 2026-10-14. تحقّق منه Vigia في 2026-11-14.

كيف أثبّت أحدث إصدار من PyBoolector؟

نفّذ pip install --upgrade PyBoolector. أحدث إصدار مستقر هو 3.2.4.38488416565 (تم التحقق في 2026-11-14).

هل PyBoolector موقوفة؟

لا. لم تُصنَّف PyBoolector على أنها موقوفة في السجل.

ما إصدار Python الذي تتطلبه PyBoolector؟

لا يحدّد PyBoolector 3.2.4.38488416565 أي متطلب لإصدار Python.

هل توجد ثغرات معروفة في PyBoolector 3.2.4.38488416565؟

لا توجد تنبيهات أمنية معروفة تؤثر في PyBoolector 3.2.4.38488416565 وفقًا للبيانات التي يتحقق منها Vigia.

هل ما زالت PyBoolector تحظى بالصيانة؟

نشرت PyBoolector ‏3 إصدارات مستقرة خلال آخر 12 شهرًا؛ وكان أحدثها قبل 31 يومًا. النشاط: نشطة.

التغييرات المرصودة

حزم ذات صلة

شارات لملف README

اعرض أحدث إصدار وحالة الصيانة وما إذا كانت هذه الحزمة موقوفة. انسخ صيغة 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)

للوكلاء

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