Assertion: alloy | /r/CapableOf | provide access
Facets:
value: to extensions of the alloy analyzer
type: TRANSITIVE-OBJECT
Source sentences:
text: As the open source community grows, this site will also provide access to extensions of the Alloy Analyzer, and tools built on top of it and on top of Kodkod, its model finding engine.