Kodkod: A relational model finder
Automating first-order relational logic