2013-11-15 7 views
5

वृद्धि 4fun z3py कई हफ्तों से अनुपलब्ध क्यों हो सकता है। मैंने z3py सीखने के लिए कुछ संसाधनों को खोजने का प्रयास किया लेकिन व्यर्थ में समाप्त हुआ। कृपया z3pyमुझे कुछ सुरक्षा समस्याओं के कारण z3py ट्यूटोरियल

+1

प्रश्न ट्यूटोरियल देखने के लिए सलाह देते हैं या के रूप में वे स्वच्छंद जवाब को आकर्षित करते हैं एक उपकरण, पुस्तकालय या पसंदीदा परोक्ष संसाधन विषय से हटकर स्टैक ओवरफ़्लो के लिए कर रहे हैं खोजने के लिए हमें पूछ और स्पैम। –

+3

मैं अपने लिए कुछ टूल नहीं ढूंढ रहा हूं। जे 3 के आधिकारिक पृष्ठ ने संपर्क करने के साधनों में से एक के रूप में stackoverflow प्रदान किया है। http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html देखें। – svKris

+1

"कृपया कुछ संसाधन सुझाएं" कुछ सुझाव देने या खोजने का अनुरोध है। तथ्य यह है कि आधिकारिक पृष्ठ आपको यहां भेजता है, स्वचालित रूप से ऑफ़-विषय पोस्ट विषय-वस्तु बन नहीं जाता है। यहां दिशानिर्देश ** ** कहता है कि आपका प्रश्न ऑफ-विषय है। [ऑन टॉपिक पेज] (http: // stackoverflow/help/on-topic) देखें, विशेष रूप से उस पृष्ठ पर क्रमांकित सूची देखें। –

उत्तर

5

सीखने के लिए कुछ संसाधनों का सुझाव दें मैंने Z3Py ट्यूटोरियल स्रोतों के साथ एक ज़िप फ़ाइल बनाई है। यह मूल रूप से कुछ HTML पृष्ठ और पायथन फ़ाइलों का एक गुच्छा है। यहाँ लिंक है:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true

अद्यतन (14 जनवरी, 2014): Z3Py ट्यूटोरियल ऑनलाइन

+0

Z3Py फिर से नीचे प्रतीत होता है। मैंने आपकी फाइलें डाउनलोड की हैं और उदाहरण के साथ एचटीएमएल फाइलों को पॉप्युलेट किया है (मुझे .py फाइलों को संदर्भित रखने के लिए परेशान पाया गया है)। इन्हें यहां http://dropproxy.com/f/834 डाउनलोड किया जा सकता है – Sorig

0

officialz3py ट्यूटोरियल वेबसाइट taken down due to security problems किया गया है और अभी भी लेखन के समय उपलब्ध नहीं है है वापस आ रहे हैं इस पोस्ट का।

इस बीच आप github पर सभी फ़ाइलों वाली वेबसाइट के दर्पण तक पहुंच सकते हैं।

संबंधित मुद्दे