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?]


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.