万が一、Alloy Analyzer を使っていてバグに出くわした場合は、英語OKであれば、
本家Alloy Community の 下記URLにお願いします。
http://alloy.mit.edu/community/forum/53
最近、サポート体制が良くなくて返事が遅くなり気味のようなのですが、Jackson
先生に言わせると、それでもここに投稿してもらうのが一番良いそうです。
近々、サポート体制が強化されるという話も小耳に挟んでおりますし、どうかそちらも
ご活用下さい。
もし英語で投稿するのが苦手な方は、こちらのMLなりにご投稿頂ければ、私なり、
有志のどなたかが(きっと)代理でレポートしてくれると思います。
--
IMAI Takeo <takeo...@gmail.com>