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 06:50:25 UTC |
| स्रोत | pypi.org |
रखरखाव
| गतिविधि | सक्रिय |
|---|---|
| अंतिम स्थिर संस्करण | 2026-10-14 00:16:58 UTC · 31 दिन पहले |
| पिछले 12 महीनों में स्थिर संस्करण | 3 |
| प्रकाशित संस्करण | 117 |
केवल प्रकाशन तिथियों पर आधारित अनुमान; यह issues या सुरक्षा समस्याओं पर प्रतिक्रिया का समय नहीं मापता।
संस्करण इतिहास
| संस्करण | प्रकाशित |
|---|---|
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 |
117 संस्करणों में से सबसे नए 20 दिखाए जा रहे हैं। JSON
संस्करण संगतता
हर रनटाइम संस्करण के समर्थन की घोषणा करने वाला सबसे नया स्थिर संस्करण (हर संस्करण के साथ प्रकाशित आवश्यकताओं के अनुसार)।
| रनटाइम | सबसे नया संगत संस्करण |
|---|---|
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 |
अपने 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
अक्सर पूछे जाने वाले प्रश्न
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 को डिप्रिकेटेड चिह्नित नहीं किया गया है।
PyBoolector को Python का कौन-सा संस्करण चाहिए?
PyBoolector 3.2.4.38488416565 Python संस्करण की कोई आवश्यकता घोषित नहीं करता।
क्या PyBoolector 3.2.4.38488416565 में ज्ञात कमज़ोरियाँ हैं?
Vigia जिन आँकड़ों की जाँच करता है, उनके अनुसार PyBoolector 3.2.4.38488416565 को कोई ज्ञात सुरक्षा सूचना प्रभावित नहीं करती।
क्या PyBoolector का अब भी रखरखाव हो रहा है?
PyBoolector ने पिछले 12 महीनों में 3 स्थिर संस्करण प्रकाशित किए; सबसे नया 31 दिन पहले। गतिविधि: सक्रिय।
देखे गए बदलाव
- 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
संबंधित पैकेज
- macwinnie-py-pushover-client
- wily
- mlopus
- pyobvector
- gemfileparser2
- gsheets
- aiomisc
- pyalex
- fastapi-cprofile
- paper-qa
- mypy-boto3-partnercentral-channel
- opentelemetry-resource-detector-containerid
आपके README के लिए बैज
इस पैकेज का नवीनतम संस्करण, रखरखाव की स्थिति और डिप्रिकेशन स्थिति दिखाएँ। Markdown कॉपी करें:
[](https://vigia.coredls.cloud/pypi/pyboolector) [](https://vigia.coredls.cloud/pypi/pyboolector) [](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}