⭐Welcome
Welcome to my compendium of predicates!
In these pages, I present a collection of predicates that I have found helpful in writing Alloy specifications. The list grows daily, so please do not be surprised when I shuffle things between your visits.
Last updated