Kodkod: A relational model finder
New Techniques that Improve MACE-style Finite Model Finding