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