Vigia

PyPI · pypi:z3-solver

z3-solver نشطة

an efficient SMT solver library

أحدث إصدار مستقر5.1.0.0
تاريخ النشر2026-08-16 04:29:02 UTC
تتطلبلم يُحدَّد
الترخيصMIT License
التنبيهات الأمنية لأحدث إصدارلا يوجد ما هو معروف
آخر تحقق2026-09-28 19:19:57 UTC
المصادرpypi.org

الصيانة

النشاطنشطة
آخر إصدار مستقر2026-08-16 04:29:02 UTC · قبل 43 يومًا
الإصدارات المستقرة خلال آخر 12 شهرًا8
الإصدارات المنشورة52

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

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

الإصدارتاريخ النشر
5.1.0.02026-08-16 04:29:02 UTC
5.0.0.02026-07-17 01:53:49 UTC
4.16.0.02026-02-19 04:13:44 UTC
4.15.8.02026-02-12 20:58:34 UTC
4.15.7.0 مسحوب2026-02-09 01:08:27 UTC
4.15.6.0 مسحوب2026-02-08 20:26:58 UTC
4.15.5.0 مسحوب2026-02-07 19:34:37 UTC
4.15.4.02025-10-29 18:11:46 UTC
4.15.3.02025-08-16 02:27:18 UTC
4.15.1.02025-06-08 18:54:25 UTC
4.15.0.02025-05-10 01:15:21 UTC
4.14.1.02025-03-11 00:02:56 UTC
4.14.0.02025-02-18 22:41:18 UTC
4.13.4.02024-12-16 16:44:03 UTC
4.13.3.02024-10-10 23:41:48 UTC
4.13.2.02024-09-27 17:36:47 UTC
4.13.1.02024-09-26 21:33:40 UTC
4.13.0.02024-03-07 19:19:36 UTC
4.12.6.02024-02-24 23:17:12 UTC
4.12.5.02024-01-21 19:15:09 UTC

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

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

ما أحدث إصدار من z3-solver؟

أحدث إصدار مستقر من z3-solver هو 5.1.0.0، نُشر في 2026-08-16. تحقّق منه Vigia في 2026-09-28.

هل z3-solver موقوفة؟

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

ما إصدار Python الذي تتطلبه z3-solver؟

لا يحدّد z3-solver 5.1.0.0 أي متطلب لإصدار Python.

هل توجد ثغرات معروفة في z3-solver 5.1.0.0؟

لا توجد تنبيهات أمنية معروفة تؤثر في z3-solver 5.1.0.0 وفقًا للبيانات التي يتحقق منها Vigia.

هل ما زالت z3-solver تحظى بالصيانة؟

نشرت z3-solver ‏8 إصدارات مستقرة خلال آخر 12 شهرًا؛ وكان أحدثها قبل 43 يومًا. النشاط: نشطة.

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

لم تُرصد أي تغييرات منذ بدأ Vigia متابعة هذه الحزمة.

حزم ذات صلة

للوكلاء

GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver
GET https://vigia.coredls.cloud/v1/packages/pypi/z3-solver/versions/{version}