z3

Z3 Z3 माइक्रोसॉफ्ट रिसर्च का एक प्रमेय सिद्धकर्ता है। यह MIT लाइसेंस के अंतर्गत लाइसेंस प्राप्त है। Windows बाइनरी वितरण में C++ runtime redistributables शामिल हैं। यदि आप Z3 से परिचित नहीं हैं, तो आप यहाँ से शुरू कर सकते हैं। स्थिर और नाइटली रिलीज़ के लिए पूर्व-निर्मित बाइनरी यहाँ उपलब्ध हैं। Z3...