• 爪牙是一个命令行的工具,被开发用作一般用途的约束求解和矩阵模型分析仪。 奴才是建立可以快速和可扩展(尺度以及如果该问题规模的增加而增加)。

    奴才涉及与一个表现输入的语言,这是基于共同的约束模拟设备的矩阵模型。

    这与目前的制约工具包,其中,以提供更多的解决选项,已经逐渐变得更加复杂的成本的性能/实用性。

  • कृपापात्र है एक कमांड लाइन उपकरण है कि विकसित किया गया था के रूप में एक सामान्य प्रयोजन-बाधा solver और मैट्रिक्स मॉडल विश्लेषक. कृपापात्र बनाया गया है होना करने के लिए तेजी से और स्केलेबल (तराजू अच्छी तरह से अगर समस्या का आकार बढ़ जाती है).

    नोकर के साथ आता है एक अर्थपूर्ण इनपुट भाषा पर आधारित है कि आम बाधा मॉडलिंग डिवाइस के लिए मैट्रिक्स मॉडल है ।

    इस विरोधाभासों के साथ वर्तमान बाधा उपकरणकिटें, जो प्रदान करने के लिए, और अधिक को सुलझाने के विकल्प बन गया है, उत्तरोत्तर अधिक जटिल प्रदर्शन की कीमत पर / प्रयोज्य है ।

  • MINION is a command line tool that was developed as a general-purpose constraint solver and matrix model analyzer. MINION is built to be fast and scalable (scales well if the problem size increases).

    MINION comes with an expressive input language that is based on the common constraint modelling device of matrix models.

    This contrasts with current constraint toolkits, which, in order to provide more solving options, have become progressively more complex at the cost of performance / usability.