• 合金分析仪是一种约束求解，提供全自动的模拟和检查的合金的语言。

  • मिश्र धातु विश्लेषक है एक बाधा solver प्रदान करता है कि पूरी तरह से स्वत: सिमुलेशन और जाँच के लिए मिश्र धातु भाषा है ।

  • Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking for the Alloy language.