 | कृपापात्रएक नया बाधा सॉल्वर |
| अब डाउनलोड करो | |
कृपापात्र रैंकिंग और सारांश
विज्ञापन
कृपापात्र टैग
कृपापात्र विवरण
एक नया बाधा सॉल्वर मिनियन एक नया बाधा सॉल्वर है, जो कि बहुत तेज़ और स्केल भी है क्योंकि समस्या का आकार बढ़ता है। मानक बेंचमार्क पर अनुभवजन्य परिणाम अत्याधुनिक बाधा टूलकिट पर परिमाण प्रदर्शन लाभ के आदेश दिखाते हैं। इन लाभों में समस्या का आकार बढ़ता है --- मिनियन स्केलेबल बाधा समाधान प्रदान करता है। मीनियन एक सामान्य उद्देश्य बाधा सॉल्वर है, जिसमें मैट्रिक्स मॉडल के सामान्य बाधा मॉडलिंग डिवाइस के आधार पर एक अभिव्यक्तिपूर्ण इनपुट भाषा है। मैट्रिक्स मॉडल पर ध्यान देना एक दुबला, अत्यधिक अनुकूल कार्यान्वयन का समर्थन करता है। यह वर्तमान बाधा टूलकिट्स के साथ विरोधाभास, जो कि अधिक मॉडलिंग और सुलझाने के विकल्प प्रदान करने के लिए, प्रदर्शन और उपयोगिता दोनों की लागत पर प्रगतिशील रूप से अधिक जटिल हो गया है। मिन्नन उपयोगकर्ता के दृष्टिकोण से एक काला बॉक्स है, जानबूझकर कुछ विकल्प प्रदान करता है । यह, इसकी कच्ची गति के साथ संयुक्त, मिनियन को पगेट के 'मॉडल और रन' बाधा को सुलझाने की दिशा में एक महत्वपूर्ण कदम बनाता है। मिन्नन अभी भी विकास के बीटा चरण में है। बग की उम्मीद की जा सकती है। हालांकि हम रिपोर्ट किए जाने के तुरंत बाद कीड़े को ठीक करने का प्रयास करते हैं। इस रिलीज में नया क्या है: निम्नलिखित बग, जो गलत उत्तरों का उत्पादन कर सकते थे, तय किए गए हैं: · 'POW' बाधा डोमेन द्वारा उलझन में थी जिसमें '0' था। · 2 ^ 32 के करीब पूर्णांक का उपयोग करके कभी-कभी गलत परिणाम उत्पन्न हो सकते हैं। किसी भी चर पर 1 टपल युक्त तालिका की बाधा को झूठा नहीं माना जाता था, सच नहीं था। निम्नलिखित बग, जो गलत त्रुटियों का उत्पादन नहीं कर सका, तय किया गया है: · कोई चर नहीं एक चर को दुर्घटनाग्रस्त हो गया। लंबाई 0 के दिए जाने पर कई बाधाएं दुर्घटनाग्रस्त हो गईं। जब तालिका की लंबाई चतुनी की संख्या चर की संख्या के बराबर नहीं होती है तो तालिका की कमी के कारण दुर्घटनाग्रस्त हो जाती है। निम्नलिखित सुधार मिनियन के लिए किए गए हैं, जिनमें से कुछ पिछले संस्करणों में हैं लेकिन अब सही ढंग से दस्तावेज हैं: · सभी बाधाओं को अब पुनः प्राप्त किया जा सकता है। · बाधाओं की एक सूची के 'या' की गणना करने की एक कुशल विधि को जोड़ा गया है। · ऑलडिफ और जीसीसी (ग्लोबल कार्डिनलिटी बाधा) के कुशल कार्यान्वयन को जोड़ा गया है। · कई अन्य बाइनरी और असुरक्षित बाधाओं को जोड़ा गया है। · अब एक अल्पविकसित विजुअलाइज़र है जो खोज के दौरान चर के डोमेन / असाइनमेंट (एक मैट्रिक्स में) दिखाता है। मिनियन बिल्ड सिस्टम अब 'सीएमएके' का उपयोग करता है। प्रलेखन में सुधार हुआ है। एक बड़ी संख्या में स्वचालित परीक्षण सूट के आधार पर बड़ी संख्या में अन्य छोटे सुधार और समायोजन भी किए गए हैं। ध्यान दें कि दर्जी अब मानक मिनियन वितरण का हिस्सा नहीं है; इसे अलग से जारी किया जाता है।
कृपापात्र संबंधित सॉफ्टवेयर
