Questions tagged [alloy]

Alloy is a declarative specification language from MIT, developed into a full structural modelling language.

Filter by
Sorted by
Tagged with
1 vote
1 answer

This spec creates very few connects, is that plausible? [closed]

I'm attempting exercise A.2.1 from the book Having got this far, I find that when stepping through instances I only ever get 2 connects links, no matter how many ...
SteveF's user avatar
  • 89
3 votes
2 answers

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 ...
SteveF's user avatar
  • 89