Assertion: alloy | /r/HasProperty | the kodkod model finder
Facets:
Source sentences:
text: Alloy 4 is a self-contained executable, which includes the Kodkod model finder and a variety of SAT solvers, as well as the standard Alloy library and a collection of tutorial examples.