Lambdaカクテル

京都在住Webエンジニアの日記です

alloy

Alloyでオーク問題を解く

猥雑な話で怒られそうなので恐縮ですが、オークが女騎士に怪しい薬を盛るというパズルがあったので、最近興味を持っていたAlloyでモデル検査をしましょう。 gist.github.com 解を図示するとこうなります。 Alloy初めて触ったのですが面白いですね。ところが…