Z3

Z3 माइक्रोसॉफ्ट रिसर्च का एक प्रमेय सिद्धकर्ता है। यह MIT लाइसेंस के अंतर्गत लाइसेंस प्राप्त है। Windows बाइनरी वितरण में C++ runtime redistributables शामिल हैं।

यदि आप Z3 से परिचित नहीं हैं, तो आप यहाँ से शुरू कर सकते हैं।

स्थिर और नाइटली रिलीज़ के लिए पूर्व-निर्मित बाइनरी यहाँ उपलब्ध हैं।

Z3 को [Visual Studio][1], [Makefile][2], [CMake][3], [vcpkg][4], या [Bazel][5] का उपयोग करके बनाया जा सकता है। यह [कई प्रोग्रामिंग भाषाओं के लिए बाइंडिंग्स][6] प्रदान करता है।

Z3 के विभिन्न स्थिर रिलीज़ों पर नोट्स के लिए रिलीज़ नोट्स देखें।

बिल्ड स्थिति

पुल रिक्वेस्ट और पुश वर्कफ़्लोज़

WASM बिल्ड	Windows बिल्ड	CI	OCaml बाइंडिंग

अनुसूचित वर्कफ़्लोज़

Open Bugs	Android बिल्ड	Pyodide Wheel (PyPI)	Nightly बिल्ड	Cross बिल्ड

MSVC Static	MSVC Clang-CL	Build Z3 Cache	मेमोरी सुरक्षा	PRs को तैयार चिह्नित करें

मैनुअल और रिलीज़ वर्कफ़्लोज़

दस्तावेज़ीकरण	रिलीज़ बिल्ड	WASM रिलीज़	NuGet बिल्ड

विशेषीकृत वर्कफ़्लोज़

Nightly सत्यापन	Copilot सेटअप	Agentics रखरखाव

एजेंटिक वर्कफ़्लोज़

API सामंजस्य	कोड सरलीकरणकर्ता	रिलीज़ नोट्स	वर्कफ़्लो सुझाव	अकादमिक उद्धरण

Issue बैकलॉग	मेमोरी सुरक्षा रिपोर्ट	QF-S बेंचमार्क	Specbot क्रैश विश्लेषक	SMTLIB बेंचमार्क खोजक