Z3

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

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

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

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

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

حالة البناء

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

WASM Build	Windows Build	CI	OCaml Binding

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

Open Bugs	Android Build	Pyodide Wheel (PyPI)	Nightly Build	Cross Build

MSVC Static	MSVC Clang-CL	Build Z3 Cache	Memory Safety	Mark PRs Ready

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

Documentation	Release Build	WASM Release	NuGet Build

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

Nightly Validation	Copilot Setup	Agentics Maintenance

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

API Coherence	Code Simplifier	Release Notes	Workflow Suggestion	Academic Citation

Issue Backlog	Memory Safety Report	QF-S Benchmark	Specbot Crash Analyzer	SMTLIB Benchmark Finder