Questions tagged [alloy]
Alloy is a declarative specification language from MIT, developed into a full structural modelling language.
2
questions
1
vote
1
answer
125
views
This spec creates very few connects, is that plausible? [closed]
I'm attempting exercise A.2.1 from the book http://alloytools.org/book.html. Having got this far, I find that when stepping through instances I only ever get 2 connects links, no matter how many ...
- 89
3
votes
2
answers
222
views
Farmer crossing as first exercise
As a first step into the world of Alloy, I've done my own version of the Fox/Chicken/Grain problem. I'd be grateful for any comments (also, is there a better place to do this?).
I thought it worth ...
- 89