z3

Z3 Z3 هو مبرهن نظري من Microsoft Research. مرخص بموجب رخصة MIT. تتضمن التوزيعات الثنائية لنظام Windows مكتبات C++ وقت التشغيل القابلة لإعادة التوزيع إذا لم تكن على دراية بـ Z3، يمكنك البدء من هنا. الملفات الثنائية المجهزة مسبقًا للإصدارات المستقرة والليلية متاحة هنا. يمكن بناء Z3 باستخدام Visual...