Vigia

PyPI · pypi:z3-solver

z3-solver सक्रिय

an efficient SMT solver library

z3-solver का नवीनतम स्थिर संस्करण 5.4.1.0 है, जो 2026-11-11 को प्रकाशित हुआ। Vigia द्वारा 2026-11-13 को सत्यापित।

नवीनतम स्थिर संस्करण5.4.1.0
प्रकाशित2026-11-11 02:07:13 UTC
इंस्टॉलpip install --upgrade z3-solver
आवश्यकताकोई घोषित नहीं
लाइसेंसMIT License
नवीनतम संस्करण पर सुरक्षा सूचनाएँकोई ज्ञात नहीं
अंतिम सत्यापन2026-11-13 20:56:42 UTC
स्रोतpypi.org

रखरखाव

गतिविधिसक्रिय
अंतिम स्थिर संस्करण2026-11-11 02:07:13 UTC · 2 दिन पहले
पिछले 12 महीनों में स्थिर संस्करण13
प्रकाशित संस्करण58

केवल प्रकाशन तिथियों पर आधारित अनुमान; यह issues या सुरक्षा समस्याओं पर प्रतिक्रिया का समय नहीं मापता।

संस्करण इतिहास

संस्करणप्रकाशित
5.4.1.02026-11-11 02:07:13 UTC
5.4.0.02026-11-10 04:31:16 UTC
5.3.3.02026-10-29 14:13:49 UTC
5.3.2.02026-10-25 13:35:47 UTC
5.3.1.02026-10-15 21:26:58 UTC
5.3.0.02026-10-14 21:00:32 UTC
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

58 संस्करणों में से सबसे नए 20 दिखाए जा रहे हैं। JSON

अपने AI एजेंट को ये तथ्य दें

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

अक्सर पूछे जाने वाले प्रश्न

z3-solver का नवीनतम संस्करण कौन-सा है?

z3-solver का नवीनतम स्थिर संस्करण 5.4.1.0 है, जो 2026-11-11 को प्रकाशित हुआ। Vigia द्वारा 2026-11-13 को सत्यापित।

z3-solver का नवीनतम वर्ज़न कैसे इंस्टॉल करूँ?

pip install --upgrade z3-solver चलाएँ। नवीनतम स्थिर वर्ज़न 5.4.1.0 है (2026-11-13 को सत्यापित)।

क्या z3-solver डिप्रिकेटेड है?

नहीं। रजिस्ट्री में z3-solver को डिप्रिकेटेड चिह्नित नहीं किया गया है।

z3-solver को Python का कौन-सा संस्करण चाहिए?

z3-solver 5.4.1.0 Python संस्करण की कोई आवश्यकता घोषित नहीं करता।

क्या z3-solver 5.4.1.0 में ज्ञात कमज़ोरियाँ हैं?

Vigia जिन आँकड़ों की जाँच करता है, उनके अनुसार z3-solver 5.4.1.0 को कोई ज्ञात सुरक्षा सूचना प्रभावित नहीं करती।

क्या z3-solver का अब भी रखरखाव हो रहा है?

z3-solver ने पिछले 12 महीनों में 13 स्थिर संस्करण प्रकाशित किए; सबसे नया 2 दिन पहले। गतिविधि: सक्रिय।

देखे गए बदलाव

संबंधित पैकेज

आपके 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}