PyPI · pypi:z3-solver

z3-solver نشطة

an efficient SMT solver library

أحدث إصدار مستقر من z3-solver هو 5.4.1.0، نُشر في 2026-11-11. تحقّق منه Vigia في 2026-11-13.

الصيانة

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

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

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

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

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

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

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

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

• Wed Nov 11 2026 02:13:14 GM +0000 (Coordinated Universal Time) — released 5.4.0.0 → 5.4.1.0
• ue Nov 10 2026 04:33:14 GMT+0000 (Coordinated Universal Time) — released 5.3.3.0 → 5.4.0.0
• hu Oct 29 2026 14:15:07 GMT+0000 (Coordinated Universal Time) — released 5.3.2.0 → 5.3.3.0
• Sun Oct 25 2026 13:37:08 GM +0000 (Coordinated Universal Time) — released 5.3.1.0 → 5.3.2.0
• hu Oct 15 2026 21:30:53 GMT+0000 (Coordinated Universal Time) — released 5.3.0.0 → 5.3.1.0
• Wed Oct 14 2026 21:01:55 GM +0000 (Coordinated Universal Time) — released 5.1.0.0 → 5.3.0.0

حزم ذات صلة

• apache-tvm-ffi
• construct
• radon
• sqlite-vec
• databricks-agents
• setuptools-rust
• pint
• flask-appbuilder
• types-boto3-s3
• gradio-client
• social-auth-core
• eth-rlp

شارات لملف README

اعرض أحدث إصدار وحالة الصيانة وما إذا كانت هذه الحزمة موقوفة. انسخ صيغة Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/z3-solver/version.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![maintained](https://vigia.coredls.cloud/badge/pypi/z3-solver/maintained.svg)](https://vigia.coredls.cloud/pypi/z3-solver)
[![status](https://vigia.coredls.cloud/badge/pypi/z3-solver/status.svg)](https://vigia.coredls.cloud/pypi/z3-solver)

للوكلاء

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