Aleksandar Milicevic questions

Aleksandar Milicevic answers

• Barber Paradox Why is this model inconsistent?
• transitive closure in alloy
• Meaning of 'private' keyword in Alloy? Meaning of 'enum' declaration?
• Alloy built-in integer math functions don't work in imported files
• The best practice to use boolean in Alloy model
• Disseminating a token in Alloy
• going through an A4Solution
• Univ signature appears magically when module is empty
• semantic change in 4.2?