Refactoring Alloy models
问题 In a model I started to sketch in Alloy the other day, I get the following message when I attempt to find an instance of a particular predicate: Translation capacity exceeded. In this scope, universe contains 34 atoms and relations of arity 12 cannot be represented. Visit http://alloy.mit.edu/ for advice on refactoring. Any suggestions of where on the site alloy.mit.edu to look? I'm not finding anything with an obvious label like "Refactoring models that exceed translation capacity". That's