Z3

Z3 هو مُثبِت نظريات من Microsoft Research. وهو مرخّص بموجب رخصة MIT. تتضمن توزيعات Windows الثنائية مكتبات وقت تشغيل C++ القابلة لإعادة التوزيع

إذا لم تكن على دراية بـ Z3، يمكنك البدء من هنا.

تتوفر الإصدارات الثنائية المبنية مسبقًا للإصدارات المستقرة والليلية من هنا.

يمكن بناء Z3 باستخدام [CMake][3] أو [vcpkg][4] أو [Bazel][5]. ويوفر [روابط لعدة لغات برمجة][6].

راجع ملاحظات الإصدار للاطلاع على ملاحظات حول الإصدارات المستقرة المختلفة من Z3.

حالة البناء

سير عمل طلبات السحب والدفع

بناء WASM	بناء Windows	CI	ربط OCaml

مدقق الحتمية	حتمية الحلّال

سير العمل المجدولة

بناء Android	حزمة Pyodide Wheel (PyPI)	البناء الليلي	البناء المتقاطع	بناء F* الرئيسي

MSVC ثابت	MSVC Clang-CL	بناء ذاكرة التخزين المؤقت لـ Z3	سلامة الذاكرة	تعليم طلبات السحب كجاهزة

تقرير تحذيرات Clang-Tidy

سير العمل اليدوي وسير عمل الإصدارات

التوثيق	بناء الإصدار	إصدار WASM

سير العمل المتخصصة

التحقق الليلي	إعداد Copilot	صيانة Agentics	إرسال التدقيق الرسمي NFV

سير عمل المتابعة/التعليقات

تعليق طلب السحب من مدقق الحتمية	تعليق طلب السحب من حتمية الحلّال

سير العمل الوكيلة

تماسك واجهة برمجة التطبيقات	مُبسِّط الكود	ملاحظات الإصدار	اقتراح سير العمل	الاستشهاد الأكاديمي