Alloy's front page doesn't mention ASP, but the description sounds like ASP (finding solutions consistent with a logical spec). And Alloy isn't listed in the Wikipedia ASP article. Yet ASP systems and Alloy both seem to built on top of SAT solvers. So how do they differ?
[edit: Would it be fair to say, for example, that Alloy is ASP extended with a pile of useful built-in abstractions that make it more useful for writing and checking specs? Or are there things that Alloy can do that ASP cannot?]
