मिनीज़िंक "सीमा निर्धारित नहीं कर सकता" - सीमाएं, minizinc

मेरा पहला गैर-तुच्छ MiniZinc ऐप लिखते हुए, मैं "सीमा निर्धारित नहीं कर सकता" त्रुटि में भाग रहा हूं। आम तौर पर कोई इस त्रुटि को कैसे हल करता है?

उत्तर:

सामान्य तौर पर "सीमा का निर्धारण नहीं किया जा सकता है" का अर्थ है कि सॉल्वर किसी निर्णय चर की सीमा (डोमेन) निर्धारित नहीं कर सकता है।

निर्णय के डोमेन के रूप में "var int" का उपयोग करनायदि संभव हो तो चर से बचा जाना चाहिए, क्योंकि यह संभवतः हल करने की प्रक्रिया को धीमा कर देगा। ऐसे समय होते हैं जहां सॉल्वर डोमेन का पता लगा सकता है, उदा। मामलों में पसंद है

% ...
var int: z = sum(x);

जब "x" ने डोमेन घोषित किया है। लेकिन, एक नियम के रूप में, डोमेन को परिभाषित करने का प्रयास करें।