合金中的挑战锁>>

Question

我想用the following lock challenge求解Alloy。

我的主要问题是如何对代表数字键的整数建模。

我创建了一个快速草稿：

sig Digit, Position{}

sig Lock {
 d: Digit one -> lone Position
}

run {} for exactly 1 Lock, exactly 3 Position, 10 Digit
在这种情况下，您能请：

• 告诉我，如果合金似乎适合您解决此类问题？
• 为我提供了一些关键数字建模方法的提示（不使用Int s？

谢谢。

我想使用Alloy解决以下锁定挑战。我的主要问题是如何对代表数字键的整数建模。我创建了一个快速草稿：sig Digit，Position {} sig Lock {d：...

Answer 1

是的，我认为合金适合于此类问题。

Answer 2

一种简单的入门方法，您不一定总是需要sig。找到的解决方案可能不是预期的解决方案，但这是因为要求不明确，因此采取了捷径。

Answer 3

我这个难题的框架是：