वृद्धि 4fun z3py कई हफ्तों से अनुपलब्ध क्यों हो सकता है। मैंने z3py सीखने के लिए कुछ संसाधनों को खोजने का प्रयास किया लेकिन व्यर्थ में समाप्त हुआ। कृपया z3pyमुझे कुछ सुरक्षा समस्याओं के कारण z3py ट्यूटोरियल
उत्तर
सीखने के लिए कुछ संसाधनों का सुझाव दें मैंने Z3Py ट्यूटोरियल स्रोतों के साथ एक ज़िप फ़ाइल बनाई है। यह मूल रूप से कुछ HTML पृष्ठ और पायथन फ़ाइलों का एक गुच्छा है। यहाँ लिंक है:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
अद्यतन (14 जनवरी, 2014): Z3Py ट्यूटोरियल ऑनलाइन
Z3Py फिर से नीचे प्रतीत होता है। मैंने आपकी फाइलें डाउनलोड की हैं और उदाहरण के साथ एचटीएमएल फाइलों को पॉप्युलेट किया है (मुझे .py फाइलों को संदर्भित रखने के लिए परेशान पाया गया है)। इन्हें यहां http://dropproxy.com/f/834 डाउनलोड किया जा सकता है – Sorig
officialz3py
ट्यूटोरियल वेबसाइट taken down due to security problems किया गया है और अभी भी लेखन के समय उपलब्ध नहीं है है वापस आ रहे हैं इस पोस्ट का।
इस बीच आप github पर सभी फ़ाइलों वाली वेबसाइट के दर्पण तक पहुंच सकते हैं।
तुम भी वेबैक मशीन का उपयोग कर सकते के रूप में http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced
- 1. Z3Py
- 2. (Z3Py) समारोह
- 3. मुझे कुछ अच्छे डब्ल्यूएस-सुरक्षा परिचय और ट्यूटोरियल कहां मिल सकता है?
- 4. कुछ दिलचस्प सी # प्रोग्रामिंग समस्याओं
- 5. अनुक्रमण, कुछ बातों के साथ समस्याओं
- 6. ईजेपीपीडीएफ - दस्तावेज़ीकरण, ट्यूटोरियल, कुछ भी?
- 7. abi :: cxx11 के साथ प्रतीकों के कारण समस्याओं को जोड़ना?
- 8. बैश: उर्फ कारण समस्याओं में नेस्टेड बैकटिक
- 9. कुछ x86 एएसएम संदर्भ/ट्यूटोरियल?
- 10. कुछ अच्छे Wireshark ट्यूटोरियल क्या हैं?
- 11. प्रमाण पत्र समस्याओं के कारण संगीतकार स्थापित नहीं कर सकता
- 12. समस्याओं
- 13. समस्याओं के कारण 50+ संदेशों को भेजना सामान्य विफलता का कारण बनता है
- 14. एंड्रॉइड एडीबी "यूएसबी डिवाइस नहीं मिला" समस्याओं का कारण?
- 15. सीखना Z3py - क्या एरे और लूप
- 16. आईफोन एसडीके 3.0 में अपग्रेड करें UIKit समस्याओं का कारण
- 17. समस्याओं
- 18. बूस्ट - unordered_set ट्यूटोरियल/उदाहरण/कुछ भी?
- 19. अजाक्स सुरक्षा (मुझे आशा है)
- 20. Google ट्रैकिंग स्क्रिप्ट वेबसाइट लेआउट समस्याओं का कारण बनती है
- 21. समस्याओं
- 22. कुछ अच्छे सी # साक्षात्कार की समस्याओं की तलाश
- 23. PHP "मुझे याद रखें" सुरक्षा दोष?
- 24. दुनिया के सबसे कमजोर व्यक्ति (मुझे) के लिए रेल ट्यूटोरियल?
- 25. वसंत सुरक्षा लॉगआउट का कारण बनता है NullPointerException
- 26. क्लैंग के लिए मुझे ट्यूटोरियल कहां मिल सकता है?
- 27. मुझे एक जेएसएफ 2.0 ट्यूटोरियल दें
- 28. कृपया पॉइंटकट अभिव्यक्ति सीखने के लिए कुछ ट्यूटोरियल सुझाएं
- 29. परहेज समस्याओं
- 30. सार्वजनिक वर्ग अपनी सुरक्षा स्तर के कारण दुर्गम है
प्रश्न ट्यूटोरियल देखने के लिए सलाह देते हैं या के रूप में वे स्वच्छंद जवाब को आकर्षित करते हैं एक उपकरण, पुस्तकालय या पसंदीदा परोक्ष संसाधन विषय से हटकर स्टैक ओवरफ़्लो के लिए कर रहे हैं खोजने के लिए हमें पूछ और स्पैम। –
मैं अपने लिए कुछ टूल नहीं ढूंढ रहा हूं। जे 3 के आधिकारिक पृष्ठ ने संपर्क करने के साधनों में से एक के रूप में stackoverflow प्रदान किया है। http://research.microsoft.com/en-us/um/redmond/projects/z3/old/mail.html देखें। – svKris
"कृपया कुछ संसाधन सुझाएं" कुछ सुझाव देने या खोजने का अनुरोध है। तथ्य यह है कि आधिकारिक पृष्ठ आपको यहां भेजता है, स्वचालित रूप से ऑफ़-विषय पोस्ट विषय-वस्तु बन नहीं जाता है। यहां दिशानिर्देश ** ** कहता है कि आपका प्रश्न ऑफ-विषय है। [ऑन टॉपिक पेज] (http: // stackoverflow/help/on-topic) देखें, विशेष रूप से उस पृष्ठ पर क्रमांकित सूची देखें। –